@inproceedings{barthe:hal-00765842, TITLE = {{Computer-Aided Cryptographic Proofs}}, AUTHOR = {Barthe, Gilles and Crespo, Juan Manuel and Gr{\'e}goire, Benjamin and Kunz, Cesar and Zanella-B{\'e}guelin, Santiago}, URL = {https://inria.hal.science/hal-00765842}, BOOKTITLE = {{ITP 2012 - Third International Conference on Interactive Theorem Proving}}, ADDRESS = {Princeton N.J., United States}, EDITOR = {Lennart Beringer and Amy Felty}, PUBLISHER = {{Springer}}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {7406}, YEAR = {2012}, MONTH = Aug, DOI = {10.1007/978-3-642-32347-8\_2}, PDF = {https://inria.hal.science/hal-00765842/file/main.pdf}, HAL_ID = {hal-00765842}, HAL_VERSION = {v1}, }