International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Automated Security Proofs with Sequences of Games

Authors:
Bruno Blanchet
David Pointcheval
Download:
DOI: 10.1007/11818175_32 (login may be required)
URL: https://iacr.org/archive/crypto2006/41170532/41170532.pdf
Search ePrint
Search Google
Conference: CRYPTO 2006
BibTeX
@inproceedings{crypto-2006-1888,
  title={Automated Security Proofs with Sequences of Games},
  booktitle={Advances in Cryptology - CRYPTO 2006, 26th Annual International Cryptology Conference},
  series={Lecture Notes in Computer Science},
  publisher={Springer},
  volume={4117},
  pages={537-554},
  url={https://iacr.org/archive/crypto2006/41170532/41170532.pdf},
  doi={10.1007/11818175_32},
  author={Bruno Blanchet and David Pointcheval},
  year=2006
}