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