\chapter*{List of Symbols}
\addcontentsline{toc}{chapter}{List of Symbols}

\begin{tabular}{ll}
  TM         &  Turing Machine                       \\
  $\ppt$     &  Probabilistic Polynomial Time        \\
  $\epsilon$ &  empty word                           \\
  PKE        &  Public Key Encryption                \\
  ZK         &  Zero-Knowledge                       \\
  $\UC$      &  Universal Composability              \\
  $\SIS$     &  Short Integer Solution               \\
  $\LWE$     &  Learning with Errors                 \\
  $\SIVP$    &  Shortest Independent Vectors Problem \\
  $\DLP$     &  Discrete Logarithm Problem           \\
  $\DDH$     &  Decisional Diffie-Hellman            \\
  $\SXDH$    &  Symmetric eXternal Diffie-Hellman
\end{tabular}
