@misc{2004-shoup-games
,note={URL: {\tt http://eprint.iacr.org/2004/332}}
,author={Victor Shoup}
,title={{Sequences of games: a tool for taming complexity in security proofs}}
,year={2004}
}