CryptoDB
Sequences of games: a tool for taming complexity in security proofs
Authors: | |
---|---|
Download: | |
Abstract: | This paper is a brief tutorial on a technique for structuring security proofs as sequences of games. |
BibTeX
@misc{eprint-2004-12296, title={Sequences of games: a tool for taming complexity in security proofs}, booktitle={IACR Eprint archive}, keywords={}, url={http://eprint.iacr.org/2004/332}, note={ shoup@cs.nyu.edu 13166 received 30 Nov 2004, last revised 18 Jan 2006}, author={Victor Shoup}, year=2004 }