Probabilistic relational Hoare logics for computer-aided security proofs - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

Probabilistic relational Hoare logics for computer-aided security proofs

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
114 View
984 Download

Altmetric

Share

Gmail Facebook X LinkedIn More