Recent Advances in the Formal Verification of Cryptographic Systems: Turing's Legacy

Benjamin Grégoire 1
1 MARELLE - Mathematical, Reasoning and Software
CRISAM - Inria Sophia Antipolis - Méditerranée
Type de document :
Article dans une revue
ERCIM News, ERCIM, 2012, 2012 (91)
Liste complète des métadonnées

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

Identifiants

  • HAL Id : hal-00765897, version 1

Collections

Citation

Benjamin Grégoire. Recent Advances in the Formal Verification of Cryptographic Systems: Turing's Legacy. ERCIM News, ERCIM, 2012, 2012 (91). 〈hal-00765897〉

Partager

Métriques

Consultations de la notice

198