\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                       \\
  $\ROM$     & Random-Oracle Model                  \\
  $\UC$      & Universal Composability              \\
  $\NIZK$    & Non-Interactive Zero-Knowledge       \\
  $\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}
