Probabilistic relational verification for cryptographic implementations - Archive ouverte HAL Access content directly
Conference Papers Year : 2014

Probabilistic relational verification for cryptographic implementations

(1) , (2) , (3) , (1) , (4) , (2)
1
2
3
4
Gilles Barthe
  • Function : Author
Institute IMDEA Software [Madrid]
Cédric Fournet
  • Function : Author
Microsoft Research [Cambridge]
Benjamin Grégoire
Mathematical, Reasoning and Software
Pierre-Yves Strub
  • Function : Author
  • PersonId : 857170
Institute IMDEA Software [Madrid]
Nikhil Swamy
  • Function : Author
  • PersonId : 901972
Microsoft Research [Redmond]
Santiago Zanella-Béguelin
  • Function : Author
Microsoft Research [Cambridge]

Benjamin Gregoire  : Connect in order to contact the contributor

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

Submitted on : Friday, January 24, 2014-8:03:09 AM

Last modification on : Thursday, December 22, 2022-10:17:02 AM

Not file

Dates and versions

hal-00935743 , version 1 (24-01-2014)

Identifiers

  • HAL Id : hal-00935743 , version 1

Cite

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. ⟨hal-00935743⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

INRIA INRIA2
5892 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More