You are looking at a specific version 20060118:151030 of this paper.
See the latest version.
Paper 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.
Metadata
- Available format(s)
- Publication info
- Published elsewhere. Unknown where it was published
- Contact author(s)
- shoup @ cs nyu edu
- History
- 2006-01-18: last of 2 revisions
- 2004-11-30: received
- See all versions
- Short URL
- https://ia.cr/2004/332
- License
-
CC BY