Probabilistic relational Hoare logics for computer-aided security proofs

Gilles Barthe; Benjamin Grégoire; Santiago Zanella-Béguelin

doi:10.1007/978-3-642-31113-0_1

Conference Papers Year : 2012

Probabilistic relational Hoare logics for computer-aided security proofs

(1) , (2) , (3)

1
2
3

Gilles Barthe

Function : Author

Institute IMDEA Software [Madrid]

Benjamin Grégoire

Function : Author
PersonId : 1695
IdHAL : benjamin-gregoire
IdRef : 089057058

Mathematical, Reasoning and Software

Santiago Zanella-Béguelin

Function : Author

Microsoft Research [Cambridge]

Abstract

None

Domains

Computer Science [cs] Cryptography and Security [cs.CR]

Fichier principal

main.pdf (97.54 Ko)

Origin : Files produced by the author(s)

Benjamin Gregoire : Connect in order to contact the contributor

https://hal.inria.fr/hal-00765864

Submitted on : Monday, December 17, 2012-9:48:08 AM

Last modification on : Thursday, December 22, 2022-10:14:43 AM

Long-term archiving on: Sunday, December 18, 2016-2:58:27 AM

Dates and versions

hal-00765864 , version 1 (17-12-2012)

Identifiers

HAL Id : hal-00765864 , version 1
DOI : 10.1007/978-3-642-31113-0_1

Cite

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 Dublin Core DC Terms EndNote Datacite

Collections

INRIA INRIA2

112 View

860 Download

Probabilistic relational Hoare logics for computer-aided security proofs

Abstract

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Altmetric

Share