+longtable +macros

macros.tex

@@ -17,11 +17,21 @@
 \newcommand{\NIZK}{\textsf{NIZK}\xspace}
 \newcommand{\PKE}{\textsf{PKE}\xspace}
 \newcommand{\OT}{\textsf{OT}\xspace}
+%% Common
+\newcommand{\Setup}{\ensuremath{\mathsf{Setup}}\xspace}
+\newcommand{\Keygen}{\ensuremath{\mathsf{Keygen}}\xspace}
+  \newcommand{\param}{\ensuremath{\mathsf{par}}\xspace}
 %% ZK
 \newcommand{\trans}{\textsf{trans}\xspace}
 \newcommand{\cmt}{\textsf{cmt}\xspace}
+\newcommand{\com}{\ensuremath{\mathsf{com}}\xspace}
 \newcommand{\chall}{\textsf{chall}\xspace}
 \newcommand{\rsp}{\textsf{response}\xspace}
+\newcommand{\extr}{\textsf{extract}\xspace}
+\newcommand{\Commit}{\ensuremath{\mathsf{Commit}}\xspace}
+\newcommand{\Verify}{\ensuremath{\mathsf{Verify}}\xspace}
+\newcommand{\open}{\ensuremath{\mathsf{open}}\xspace}
+\newcommand{\Open}{\textsf{Open}\xspace}
 
 % Assumptions/Problems
 %% Pairings
@@ -30,9 +40,12 @@
 \newcommand{\SXDH}{\textsf{SXDH}\xspace}
 \newcommand{\SDL}{\textsf{SDL}\xspace}
 %% Lattices
-\newcommand{\SIS}{\textsf{SIS}\xspace}
+\newcommand{\ISIS}{\ensuremath{\mathsf{ISIS}}\xspace}
-\newcommand{\LWE}{\textsf{LWE}\xspace}
+\newcommand{\SIS}{\ensuremath{\mathsf{SIS}}\xspace}
+\newcommand{\LWE}{\ensuremath{\mathsf{LWE}}\xspace}
 \newcommand{\SIVP}{\ensuremath{\textsf{SIVP}_\gamma}\xspace}
+%% Codes
+\newcommand{\SDP}{\ensuremath{\mathsf{SDP}}\xspace}
 %% Models
 \newcommand{\UC}{\textsf{UC}\xspace}
 \newcommand{\ROM}{\textsf{ROM}\xspace}
@@ -52,6 +65,7 @@
 
 % Sets
 %% Usual sets
+\newcommand{\FF}{\xspace\ensuremath{\mathbb{F}}\xspace}
 \newcommand{\RR}{\xspace\ensuremath{\mathbb{R}}\xspace}
 \newcommand{\ZZ}{\xspace\ensuremath{\mathbb{Z}}\xspace}
 \newcommand{\NN}{\xspace\ensuremath{\mathbb{N}}\xspace}

main.tex

@@ -29,6 +29,7 @@
   pdfauthor={Fabrice Mouhartem},
   pdfsubject={Cryptography}}
 \usepackage{microtype}
+\usepackage{longtable}
 % numbering
 \setsecnumdepth{subsection}
 \maxtocdepth   {subsection}

symbols.tex

@@ -2,7 +2,7 @@
 \addcontentsline{toc}{chapter}{List of Symbols}
 \addcontentsline{tof}{chapter}{Liste des symboles et abréviations}
 
-\begin{tabular}{ll}
+\begin{longtable}{ll}
   \multicolumn{2}{l}{\scbf{General Notations}}          \\
   TM         & Turing Machine                           \\
   $\ppt$     & Probabilistic Polynomial Time            \\
@@ -10,6 +10,12 @@
   $\mathbf A$ & bold uppercase letters represent matrices\\
   $\mathbf b$ & bold lowercase letters represent vectors\\
   $\widetilde{\mathbf A}$ & Gram-Schmidt orthogonalization of matrix $\mathbf A$\\
+  [1ex] \multicolumn{2}{l}{\scbf{Usual sets}}           \\
+  $\QQ$      & the set of rational numbers              \\
+  $\RR$      & the set of real numbers                  \\
+  $\ZZ$      & the set of relative integers             \\
+  $\ZZ_q$    & the field $\ZZ_{/q\ZZ}$, with $q$ prime  \\
+  $\FF_2$    & the field $\ZZ_{/2\ZZ}$                  \\
   [1ex] \multicolumn{2}{l}{\scbf{Protocols}}            \\
   $\PKE$     & Public Key Encryption                    \\
   $\ZK$      & Zero-Knowledge                           \\
@@ -19,11 +25,15 @@
   $\ROM$     & Random-Oracle Model                      \\
   $\UC$      & Universal Composability                  \\
   [1ex] \multicolumn{2}{l}{\scbf{Security Assumptions}} \\
+  [.5ex] \multicolumn{2}{l}{\quad\textbf{Lattice-based}} \\
   $\SIS$     & Short Integer Solution                   \\
+  $\ISIS$    & Inhomogeneous Short Integer Solution                   \\
   $\LWE$     & Learning with Errors                     \\
   $\SIVP$    & Shortest Independent Vectors Problem     \\
+  [.5ex] \multicolumn{2}{l}{\quad\textbf{Cyclic groups}} \\
   $\DLP$     & Discrete Logarithm Problem               \\
   $\DDH$     & Decisional Diffie-Hellman                \\
+  [.5ex] \multicolumn{2}{l}{\quad\textbf{Bilinear groups}} \\
   $\SXDH$    & Symmetric eXternal Diffie-Hellman        \\
   $\SDL$     & Symmetric Discrete Logarithm
-\end{tabular}
+\end{longtable}