From 6cfdea5a8c7aad7fca6884991d6b5607cc5390fb Mon Sep 17 00:00:00 2001 From: Fabrice Mouhartem Date: Fri, 6 Apr 2018 15:46:55 +0200 Subject: [PATCH] +longtable +macros --- macros.tex | 18 ++++++++++++++++-- main.tex | 1 + symbols.tex | 14 ++++++++++++-- 3 files changed, 29 insertions(+), 4 deletions(-) diff --git a/macros.tex b/macros.tex index 2620229..d8020ff 100644 --- a/macros.tex +++ b/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{\LWE}{\textsf{LWE}\xspace} +\newcommand{\ISIS}{\ensuremath{\mathsf{ISIS}}\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} diff --git a/main.tex b/main.tex index 62ad337..b4af357 100644 --- a/main.tex +++ b/main.tex @@ -29,6 +29,7 @@ pdfauthor={Fabrice Mouhartem}, pdfsubject={Cryptography}} \usepackage{microtype} +\usepackage{longtable} % numbering \setsecnumdepth{subsection} \maxtocdepth {subsection} diff --git a/symbols.tex b/symbols.tex index 7285a61..3ca1297 100644 --- a/symbols.tex +++ b/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}