Probabilistic relational verification for cryptographic implementations

Document type :
Conference papers
Liste complète des métadonnées

https://hal.inria.fr/hal-00935743
Contributor : Benjamin Gregoire <>
Submitted on : Friday, January 24, 2014 - 8:03:09 AM
Last modification on : Thursday, January 11, 2018 - 4:41:52 PM

Identifiers

  • HAL Id : hal-00935743, version 1

Collections

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

Share

Metrics

Record views

4046