\bib{2004/shoup-games}
\yr 2004
\by Victor Shoup
\paper Sequences of games: a tool for taming complexity in security proofs
\url http://eprint.iacr.org/2004/332
\endref