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
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⟩

Collections

INRIA INRIA2
5892 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More