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
Document type :
Journal articles
Complete list of metadatas

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

Identifiers

  • 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⟩

Share

Metrics

Record views

223