Probabilistic relational Hoare logics for computer-aided security proofs

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

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〉

Partager

Métriques

Consultations de la notice

146

Téléchargements de fichiers

305