Probabilistic relational verification for cryptographic implementations

Gilles Barthe 1 Cédric Fournet 2 Benjamin Grégoire 3 Pierre-Yves Strub 1 Nikhil Swamy 4 Santiago Zanella-Béguelin 2
1 Institute IMDEA Software [Madrid]
2 Microsoft - Microsoft Research [Cambridge]
3 MARELLE - Mathematical, Reasoning and Software
CRISAM - Inria Sophia Antipolis - Méditerranée
4 Microsoft Research [Redmond]
Type de document :
Communication dans un congrès
The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2014, San Diego, United States. 2014
Liste complète des métadonnées
https://hal.inria.fr/hal-00935743
Contributeur : Benjamin Gregoire <>
Soumis le : vendredi 24 janvier 2014 - 08:03:09
Dernière modification le : jeudi 11 janvier 2018 - 16:41:52

Identifiants

  • HAL Id : hal-00935743, version 1

Collections

INRIA | UNIV-COTEDAZUR

Citation

Gilles Barthe, Cédric Fournet, Benjamin Grégoire, Pierre-Yves Strub, Nikhil Swamy, et al.. Probabilistic relational verification for cryptographic implementations. The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2014, San Diego, United States. 2014. 〈hal-00935743〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

3482

Contact


archive-ouverte@inria.fr