@inproceedings{barthe2012computer-aided,
author = {Barthe, Gilles and Crespo, Juan Manuel and Grégoire, Benjamin and Kunz, César and Zanella-Béguelin, Santiago},
title = {Computer-Aided Cryptographic Proofs},
series = {Lecture Notes in Computer Science},
booktitle = {3rd International Conference on Interactive Theorem Proving, ITP 2012},
year = {2012},
month = {January},
abstract = {EasyCrypt is an automated tool that supports the machine-checked construction and verification of security proofs of cryptographic systems, and that has been used to verify emblematic examples of public-key encryption schemes, digital signature schemes, hash function designs, and block cipher modes of operation. The purpose of this paper is to motivate the role of computer-aided proofs in the broader context of provable security and to illustrate the workings of EasyCrypt through simple introductory examples.},
publisher = {Springer},
url = {http://approjects.co.za/?big=en-us/research/publication/computer-aided-cryptographic-proofs/},
pages = {11-27},
edition = {3rd International Conference on Interactive Theorem Proving, ITP 2012},
}