Probabilistic relational Hoare logics for computer-aided security proofs - Archive ouverte HAL Access content directly
Conference Papers Year : 2012

Probabilistic relational Hoare logics for computer-aided security proofs

(1) , (2) , (3)
1
2
3

Abstract

None
Fichier principal
Vignette du fichier
main.pdf (97.54 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

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⟩

Collections

INRIA INRIA2
112 View
860 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More