Computer-Aided Cryptographic Proofs - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Computer-Aided Cryptographic Proofs

Résumé

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.
Fichier principal
Vignette du fichier
main.pdf (195.04 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00765842 , version 1 (18-12-2012)

Identifiants

Citer

Gilles Barthe, Juan Manuel Crespo, Benjamin Grégoire, Cesar Kunz, Santiago Zanella-Béguelin. Computer-Aided Cryptographic Proofs. ITP 2012 - Third International Conference on Interactive Theorem Proving, Aug 2012, Princeton N.J., United States. ⟨10.1007/978-3-642-32347-8_2⟩. ⟨hal-00765842⟩

Collections

INRIA INRIA2
132 Consultations
306 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More