Journal Articles
ERCIM News
Year : 2012
Benjamin Gregoire : Connect in order to contact the contributor
https://hal.inria.fr/hal-00765897
Submitted on : Monday, December 17, 2012-10:34:44 AM
Last modification on : Saturday, June 25, 2022-11:09:34 PM
Dates and versions
Identifiers
- HAL Id : hal-00765897 , version 1
Cite
Benjamin Grégoire. Recent Advances in the Formal Verification of Cryptographic Systems: Turing's Legacy. ERCIM News, 2012, 2012 (91). ⟨hal-00765897⟩
Collections
91
View
0
Download