\[
\newcommand{\INDCPA}{\mathrm{IND\text{-}CPA}}
\newcommand{\Enc}{\mathsf{Enc}}
\newcommand{\Adversary}{\mathcal{A}}
\newcommand{\Bdversary}{\mathcal{B}}
\newcommand{\OPRF}{\mathcal{O}_{\mathsf{prf}}}
\newcommand{\RF}{\mathrm{RF}}
\newcommand{\getsr}{{\:\leftarrow\hspace*{-3pt}\raisebox{.5pt}{$\scriptscriptstyle\$$}\:}}
\newcommand{\nicosetlinenr}[1]{\setcounter{nicolinenr}{#1}}
\newcommand{\nicoresetlinenr}{\nicosetlinenr{0}}
\newcommand{\PaddingUp}[1]{\expandafter\two@digits\csname c@#1\endcsname}
\]
Generated with TeXFrog
Keyboard shortcuts
| ← ↑ | Previous game |
| → ↓ | Next game |
| + | Zoom in |
| − | Zoom out |
| ? | Toggle this help |
| Home | Go to overview |
Tips
- URL hash links directly to a game (e.g.
#G3)
- Use Ctrl+P to print all games
- Live reload auto-refreshes by default (disable with
--no-live-reload)