Skip to Main content Skip to Navigation
Conference papers

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
Document type :
Conference papers
Complete list of metadatas

Cited literature [13 references]  Display  Hide  Download
https://hal.inria.fr/hal-00765864
Contributor : Benjamin Gregoire <>
Submitted on : Monday, December 17, 2012 - 9:48:08 AM
Last modification on : Thursday, March 5, 2020 - 5:34:25 PM
Document(s) archivé(s) le : Sunday, December 18, 2016 - 2:58:27 AM

File

Vignette du document
main.pdf
Files produced by the author(s)

Identifiers

Collections

INRIA

Citation

Gilles Barthe, Benjamin Grégoire, Santiago Zanella-Béguelin. Probabilistic relational Hoare logics for computer-aided security proofs. Mathematics of Program Construction - 11th International Conference, MPC 2012, Jun 2012, Madrid, Spain. pp.1-6, ⟨10.1007/978-3-642-31113-0_1⟩. ⟨hal-00765864⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

286

Files downloads

916

 

Contact                    Legal Notice                    Personal Data