Probabilistic relational Hoare logics for computer-aided security proofs - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Probabilistic relational Hoare logics for computer-aided security proofs

Résumé

None

Domaines

Cryptographie et sécurité [cs.CR]
Fichier principal
Vignette du fichier
main.pdf (97.54 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Benjamin Gregoire  : Connectez-vous pour contacter le contributeur

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

Soumis le : lundi 17 décembre 2012-09:48:08

Dernière modification le : mercredi 15 mars 2023-08:58:09

Archivage à long terme le : dimanche 18 décembre 2016-02:58:27

Télécharger pour visualiser

Dates et versions

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

Identifiants

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA INRIA2
115 Consultations
1000 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More