Article Dans Une Revue
ERCIM News
Année : 2012
Benjamin Gregoire : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00765897
Soumis le : lundi 17 décembre 2012-10:34:44
Dernière modification le : mercredi 15 mars 2023-08:58:09
Dates et versions
Identifiants
- HAL Id : hal-00765897 , version 1
Citer
Benjamin Grégoire. Recent Advances in the Formal Verification of Cryptographic Systems: Turing's Legacy. ERCIM News, 2012, 2012 (91). ⟨hal-00765897⟩
Collections
97
Consultations
0
Téléchargements