# Computer-Aided Cryptographic Proofs

2 MARELLE - Mathematical, Reasoning and Software
CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : Provable security [6] is at the heart of modern cryptography. It advocates a mathematical approach in which the security of new cryptographic constructions is defined rigorously, and provably reduced to one or several assumptions, such as the hardness of a computational problem, or the existence of an ideal functionality. A typical provable security statement is of the form: for all adversary against the cryptographic construction TeX , there exists an adversary TeX against a security assumption TeX , such that if TeX has a high probability of breaking the scheme TeX in time t, then TeX has a high probability of breaking the assumption TeX in time t′ (defined as a function of t).
Type de document :
Communication dans un congrès
Static Analysis - 19th International Symposium, SAS 2012, Sep 2012, Deauville, France. 2012, 〈10.1007/978-3-642-33125-1_1〉

Littérature citée [7 références]

https://hal.inria.fr/hal-00765869
Contributeur : Benjamin Gregoire <>
Soumis le : lundi 17 décembre 2012 - 09:52:37
Dernière modification le : jeudi 11 janvier 2018 - 16:20:58
Document(s) archivé(s) le : dimanche 18 décembre 2016 - 02:48:27

### Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

### Citation

Gilles Barthe, Benjamin Grégoire, Santiago Zanella-Béguelin. Computer-Aided Cryptographic Proofs. Static Analysis - 19th International Symposium, SAS 2012, Sep 2012, Deauville, France. 2012, 〈10.1007/978-3-642-33125-1_1〉. 〈hal-00765869〉

### Métriques

Consultations de la notice

## 271

Téléchargements de fichiers