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

Benjamin Grégoire

Journal articles

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

Benjamin Grégoire ¹

1 MARELLE - Mathematical, Reasoning and Software

CRISAM - Inria Sophia Antipolis - Méditerranée

Document type :

Journal articles

Domain :

Computer Science [cs] / Cryptography and Security [cs.CR]

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, March 5, 2020 - 5:34:14 PM

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

Identifiers

Collections

Citation

Export

Metrics

241

Contact Legal Notice Personal Data

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

Identifiers

Collections

Citation

Export

Share

Metrics

241

Contact Legal Notice Personal Data