https://hal.inria.fr/hal-00765897
Contributor : Benjamin Gregoire
<>
Submitted on : Monday, December 17, 2012 - 10:34:44 AM
Last modification on : Thursday, January 11, 2018 - 4:16:41 PM
Benjamin Grégoire. Recent Advances in the Formal Verification of Cryptographic Systems: Turing's Legacy. ERCIM News, ERCIM, 2012, 2012 (91). ⟨hal-00765897⟩
