https://hal.inria.fr/hal-00765897
Contributeur : Benjamin Gregoire
<>
Soumis le : lundi 17 décembre 2012 - 10:34:44
Dernière modification le : jeudi 11 janvier 2018 - 16:16:41
Benjamin Grégoire. Recent Advances in the Formal Verification of Cryptographic Systems: Turing's Legacy. ERCIM News, ERCIM, 2012, 2012 (91). 〈hal-00765897〉
