International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Sequences of games: a tool for taming complexity in security proofs

Authors:
Victor Shoup
Download:
URL: http://eprint.iacr.org/2004/332
Search ePrint
Search Google
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
}