Paper 2004/332 Original: eprint.iacr.org/2004/332 ↗
Sequences of games: a tool for taming complexity in security proofs
Abstract
This paper is a brief tutorial on a technique for structuring security proofs as sequences of games.
Metadata
- Available format(s)
PDF- Publication info
- Preprint.
- History
- 2006-01-18: last updated
- 2004-11-30: published
- Short URL
- https://ia.cr/2004/332
- License
- https://creativecommons.org/licenses/by/4.0/
BibTeX
@misc{cryptoeprint:2004/332,
author = {Victor Shoup},
title = {Sequences of games: a tool for taming complexity in security proofs},
howpublished = {Cryptology {ePrint} Archive, Paper 2004/332},
year = {2004},
url = {https://eprint.iacr.org/2004/332}
}