diss.tex

\documentclass{dissertation}

\usepackage{amsmath,mathtools,empheq}
\usepackage{amsthm}
\usepackage{thmtools}
\usepackage{thm-restate}
\declaretheorem[%
    name=Rationale,
    refname={Rationale,Rationales},
    Refname={Rationale,Rationales}
]{rationale}
\declaretheorem[%
    name={Security Claim},
    numbered={unless unique},
]{secclaim}

\usepackage{longtable}

\usepackage{pdflscape}

\usepackage{enumitem}

\usepackage{tikz}
%%% Public TikZ libraries

\usetikzlibrary{calc}
% https://tex.stackexchange.com/a/114770
\usepackage{etoolbox}
\robustify\setcounter
\robustify\addtocounter
\robustify\setlength
\robustify\addtolength

\usetikzlibrary{positioning}
\usetikzlibrary{shapes}

\usetikzlibrary{patterns}
\usetikzlibrary{backgrounds}
\usetikzlibrary{external}
\tikzexternalize[prefix=tikzpictures/]
\tikzexternaldisable

%%% Custom TikZ addons
\usetikzlibrary{crypto.symbols}
\tikzset{shadows=no}        % Option: add shadows to XOR, ADD, etc.

\usepackage{forest}
\usepackage{pgfplots}
\usetikzlibrary{crypto.symbols}
\pgfplotsset{compat=newest}
\usetikzlibrary{pgfplots.colormaps}
\usetikzlibrary{pgfplots.groupplots}
\tikzset{shadows=no}

\pgfplotsset{%
    colormap={WhiteRedBlack}{%
        rgb255=(255,255,255)
        rgb255=(255,205,0)
        rgb255=(255,0,0)
        rgb255=(128,0,0)
        rgb255=(0,0,0)
    },
}

\pgfplotsset{%
    colormap={BlueWhiteRed}{%
        rgb255=(0,0,128)
        rgb255=(0,0,255)
        rgb255=(255,255,255)
        rgb255=(255,0,0)
        rgb255=(128,0,0)
    },
}

\definecolor{RoyalBlue}{cmyk}{1,0.5,0,0}
\definecolor{Black}{cmyk}{0,0,0,0}
\definecolor{alertred}{rgb}{0.80,0.12,0.12}
\definecolor{linkgreen}{RGB}{0,166,0}

% % % Name Commands and so % % %
\newcommand{\F}{\mathbb{F}}
\newcommand{\Z}{\mathbb{Z}}

\newcommand{\GL}[1]{\mathrm{GL}(#1, \F_2)}

\newcommand{\AC}[1]{\ensuremath{\mathcal{A}_{#1}}}
\newcommand{\DC}[1]{\ensuremath{\delta_{#1}}}
\newcommand{\FC}[1]{\ensuremath{\widehat{#1}}}

\newcommand{\LS}{\mathsf{LS}}

\newcommand{\derive}[2]{\Delta_{#1}\parens{#2}}
\renewcommand{\iprod}[2]{#1 \cdot #2}

\newcommand{\aequiv}{\stackrel{\text{\tiny A}}{\sim}}
\newcommand{\eaequiv}{\stackrel{\text{\tiny EA}}{\sim}}
\newcommand{\cczequiv}{\stackrel{\text{\tiny CCZ}}{\sim}}
\DeclareMathOperator*{\diffOp}{\rightrightarrows}
\newcommand{\propDiff}[4]{#1 \diffOp^{#2}_{#3} #4}

\DeclareMathOperator*{\linOp}{\rightarrow}
\newcommand{\propLin}[4]{#1 \linOp^{#2}_{#3} #4}

\DeclareMathOperator*{\dlOp}{\sqsupset\!\rightarrow}
\newcommand{\propDL}[4]{#1 \dlOp^{#2}_{#3} #4}

\DeclareMathOperator*{\isOp}{\mapsto}
\newcommand{\propIS}[4]{#1 \isOp^{#2}_{#3} #4}

\newcommand{\subspacetrail}[3]{#1 \stackrel{#2}{\rightrightarrows} #3}
\newcommand{\longsubspacetrail}[3]{#1 \stackrel{#2}{\rightrightarrows} #3}
\newcommand{\nsubspacetrail}[3]{#1 \stackrel{#2}{\not\rightrightarrows} #3}

\newcommand{\coset}[2]{#1 \!\! + \!\! #2}
\newcommand{\tower}[2]{\genfrac{}{}{0pt}{}{#1}{#2}}

\DeclareMathOperator{\cor}{\mathbf{cor}}
\DeclareMathOperator{\bias}{\varepsilon}
\DeclareMathOperator{\BasisOp}{Basis}
\newcommand{\Basis}[1]{\BasisOp\parens{#1}}
\DeclareMathOperator{\ImOp}{Im}
\renewcommand{\Im}[1]{\ImOp {#1}}
\DeclareMathOperator{\KerOp}{Ker}
\newcommand{\Ker}[1]{\KerOp {#1}}
\DeclareMathOperator{\NullityOp}{Nullity}
\newcommand{\Nullity}[1]{\NullityOp\parens{#1}}
\DeclareMathOperator{\ord}{ord}
\DeclareMathOperator{\Prob}{Pr}
\DeclareMathOperator{\Quot}{Quot}
\DeclareMathOperator{\RankOp}{Rank}
\newcommand{\Rank}[1]{\RankOp\parens{#1}}
\DeclareMathOperator{\SpanOp}{Span}
\newcommand{\Span}[1]{\SpanOp\set{#1}}
%\newcommand{\Span}[1]{\angles{#1}}
\DeclareMathOperator{\suppOp}{Supp}
\newcommand{\supp}[1]{\suppOp\parens{#1}}
\DeclareMathOperator{\tr}{tr}
\DeclareMathOperator{\wt}{wt}

\DeclareMathOperator{\binmatr}{BinMatr}
\newcommand{\binarymatrix}[1]{\ensuremath\binmatr\parens{#1}}

\DeclareMathOperator{\implop}{Impl}
\newcommand{\impl}[1]{\ensuremath\implop\parens{#1}}

\DeclareMathOperator{\uniformityOp}{\delta}
\newcommand{\uniformity}[1]{\uniformityOp\parens{#1}}
\DeclareMathOperator{\absoluteindicatorOp}{\mathcal{M}}
\newcommand{\absoluteindicator}[1]{\absoluteindicatorOp\parens{#1}}
\DeclareMathOperator{\linearityOp}{\mathcal{L}}
\newcommand{\linearity}[1]{\linearityOp\parens{#1}}

\DeclareMathOperator{\cauchy}{cauchy}
\DeclareMathOperator{\circmatr}{circ}
\DeclareMathOperator{\hadamard}{hadamard}
\DeclareMathOperator{\subfield}{subfield}
\DeclareMathOperator{\toep}{toep}
\DeclareMathOperator{\vandermonde}{vandermonde}

\newcommand{\negl}[1]{\mathrm{negl}\parens{#1}}
\def\func/{\mathrm{Func}}
\def\perm/{\mathrm{Perm}}
\def\boolfunc/{\mathrm{BF}}

% ---------------------------------------------------------------------
% Bottop symbol
% https://tex.stackexchange.com/questions/414825/is-there-a-latex-symbol-that-combines-top-and-bot
% ---------------------------------------------------------------------
\makeatletter
\newcommand*{\bottop}{%
  {\mathpalette\@bottop{}}%
}
\newcommand*{\@bottop}[2]{%
  % #1: math style
  % #2: unused
  \rlap{$#1\bot\m@th$}% put \bot to the right without moving the current point
  \top
}
\makeatother

\graphicspath{{./figures/}{./tikzpictures/}}
\pgfplotsset{%
    table/search path={./figures/plots/},
}

\newrobustcmd*{\fullfullcite}{%
    \AtNextCite{%
        \AtEachCitekey{%
            \defcounter{maxnames}{99}%
            \DeclareNameAlias{labelname}{given-family}%
        }%
    }%
    \fullcite
}

% set the Bison QED symbol
\renewcommand{\qed}{%
\leavevmode\unskip\penalty9999 \hbox{}\nobreak\hfill%
\quad\hbox{\includegraphics[height=1em]{bison/bison-qed.jpg}}}

\title{Security Arguments and Tool-based Design of Block Ciphers}
\author{Friedrich Wiemer}
\date{\today}

\begin{document}
\frontmatter{}

\input{frontbackmatter/titlepage}

\input{frontbackmatter/abstract}
\blankpage{}
\input{frontbackmatter/zusammenfassung}
\blankpage{}

\tableofcontents*\addcontentsline{toc}{chapter}{Contents}
\clearpage{}

\listofalgorithms\addcontentsline{toc}{chapter}{List of Algorithms}
%\clearpage{}
\vspace{\baselineskip}

\listoffigures*\addcontentsline{toc}{chapter}{List of Figures}
\vspace{\baselineskip}
\clearpage{}

\listoftables*\addcontentsline{toc}{chapter}{List of Tables}
\clearpage{}

%\input{frontbackmatter/acknowledgments}\addcontentsline{toc}{chapter}{Acknowledgments}
\cleardoublepage{}

\mainmatter{}
\begin{fullwidth}
\part{Prologue}
\end{fullwidth}

\cleardoublepage{}

%\itodo{Can we use \bison/'s argument (regarding differential cryptanalysis) for a maximal unbalanced Feistel network?}
%\itodo{Can we improve \cref{st:lem:2} so that we do not have to compute the span of the union over all basis vectors?}

\input{mainmatter/introduction}
\input{mainmatter/preliminaries}

\begin{fullwidth}
\part{Security Arguments for Block Ciphers}
\end{fullwidth}

\input{mainmatter/act}
\input{mainmatter/bison}

\begin{fullwidth}
\part{Automated Methods in Design and Analysis}
\end{fullwidth}

\input{mainmatter/slps}
\input{mainmatter/subspace-trails}
\input{mainmatter/key-recovery}

\begin{fullwidth}
\part{Epilogue}
\end{fullwidth}

\input{frontbackmatter/conclusion}

\begin{fullwidth}
\printbibliography{}
\end{fullwidth}

\cleardoublepage{}

\chapter*{Versicherung an Eides Statt}\addcontentsline{toc}{chapter}{Versicherung an Eides Statt}

Ich versichere an Eides statt, dass ich die eingereichte Dissertation selbstständig und ohne unzulässige fremde Hilfe verfasst, andere als die in ihr angegebene Literatur nicht benutzt und dass ich alle ganz oder annähernd übernommenen Textstellen sowie verwendete Grafiken, Tabellen und Auswertungsprogramme kenntlich gemacht habe.

Außerdem versichere ich, dass die vorgelegte elektronische mit der schriftlichen Version der Dissertation übereinstimmt und die Abhandlung in dieser oder ähnlicher Form noch nicht anderweitig als Promotionsleistung vorgelegt und bewertet wurde.

\vspace{1cm}
\noindent
\rule{45mm}{0.1pt} \hfill{} \rule{45mm}{0.1pt}\\
Datum \hfill{} Unterschrift

\cleardoublepage{}

\end{document}