International Association for Cryptologic Research
IACR paper details
| Title | Computer-Aided Security Proofs for the Working Cryptographer |
|---|---|
| Booktitle | Advances in Cryptology - CRYPTO 2011 - 31st Annual Cryptology Conference |
| Award | Best Paper |
| Volume | 6841 |
| Pages | 71 |
| Year | 2011 |
| URL | Search for the paper |
| Author | Gilles Barthe |
| Author | Benjamin Grégoire |
| Author | Sylvain Heraud |
| Author | Santiago Zanella-Béguelin |
@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},
author={Gilles Barthe and Benjamin Grégoire and Sylvain Heraud and Santiago Zanella-Béguelin},
year=2011
}