Probabilistic relational Hoare logics for computer-aided security proofs

Gilles Barthe 1 Benjamin Grégoire 2 Santiago Zanella-Béguelin 3
1 Institute IMDEA Software [Madrid]
2 MARELLE - Mathematical, Reasoning and Software
CRISAM - Inria Sophia Antipolis - Méditerranée
3 Microsoft - Microsoft Research [Cambridge]
Résumé : None
Type de document :
Communication dans un congrès
Jeremy Gibbons and Pablo Nogueira. Mathematics of Program Construction - 11th International Conference, MPC 2012, Jun 2012, Madrid, Spain. Springer, 7342, pp.1-6, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-31113-0_1〉
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-00765864
Contributeur : Benjamin Gregoire <>
Soumis le : lundi 17 décembre 2012 - 09:48:08
Dernière modification le : jeudi 11 janvier 2018 - 16:21:50
Document(s) archivé(s) le : dimanche 18 décembre 2016 - 02:58:27

Fichier

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

Identifiants

Collections

INRIA | UNIV-COTEDAZUR

Citation

Gilles Barthe, Benjamin Grégoire, Santiago Zanella-Béguelin. Probabilistic relational Hoare logics for computer-aided security proofs. Jeremy Gibbons and Pablo Nogueira. Mathematics of Program Construction - 11th International Conference, MPC 2012, Jun 2012, Madrid, Spain. Springer, 7342, pp.1-6, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-31113-0_1〉. 〈hal-00765864〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

178

Téléchargements de fichiers

417

Contact


archive-ouverte@inria.fr