International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Computer-Aided Security Proofs for the Working Cryptographer

Authors:
Gilles Barthe
Benjamin Grégoire
Sylvain Heraud
Santiago Zanella-Béguelin
Download:
DOI: 10.1007/978-3-642-22792-9_5 (login may be required)
URL: https://www.iacr.org/archive/crypto2011/68410071/68410071.pdf
Search ePrint
Search Google
Presentation: Slides
Conference: CRYPTO 2011
Award: Best Paper
Video from CRYPTO 2011
BibTeX
@inproceedings{crypto-2011-23569,
  title={Computer-Aided Security Proofs for the Working Cryptographer},
  booktitle={Advances in Cryptology - CRYPTO 2011 - 31st Annual Cryptology Conference},
  series={Lecture Notes in Computer Science},
  publisher={Springer},
  volume={6841},
  pages={71},
  url={https://www.iacr.org/archive/crypto2011/68410071/68410071.pdf},
  doi={10.1007/978-3-642-22792-9_5},
  author={Gilles Barthe and Benjamin Grégoire and Sylvain Heraud and Santiago Zanella-Béguelin},
  year=2011
}