Cryptology ePrint Archive: Report 2004/332

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

Victor Shoup

Abstract: This paper is a brief tutorial on a technique for structuring security proofs as sequences of games.

Category / Keywords:

Date: received 30 Nov 2004, last revised 18 Jan 2006

Contact author: shoup at cs nyu edu

Available format(s): PDF | BibTeX Citation

Version: 20060118:151030 (All versions of this report)

Short URL: ia.cr/2004/332

Discussion forum: Show discussion | Start new discussion