| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Computer-Aided Cryptographic Proofs
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.
https://hal.inria.fr/hal-00765842
Contributor : Benjamin Gregoire <>
Submitted on : Tuesday, December 18, 2012 - 11:34:54 AM
Last modification on : Wednesday, July 8, 2020 - 9:18:20 AM
Document(s) archivé(s) le : Tuesday, March 19, 2013 - 3:53:24 AM
Contributor : Benjamin Gregoire <>
Submitted on : Tuesday, December 18, 2012 - 11:34:54 AM
Last modification on : Wednesday, July 8, 2020 - 9:18:20 AM
Document(s) archivé(s) le : Tuesday, March 19, 2013 - 3:53:24 AM
File
main.pdf
Files produced by the author(s)