Conference Papers
Year : 2014
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
Dates and versions
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⟩
5892
View
0
Download