Skip to Main content Skip to Navigation
Journal articles

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 metadata
https://hal.inria.fr/hal-00765897
Contributor : Benjamin Gregoire Connect in order to contact the contributor
Submitted on : Monday, December 17, 2012 - 10:34:44 AM
Last modification on : Thursday, January 20, 2022 - 5:30:44 PM

Identifiers

  • HAL Id : hal-00765897, version 1

Collections

INRIA | ERCIM-NEWS | ERCIM

Citation

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

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Les métriques sont temporairement indisponibles

 

Contact                    Legal Notice                    Personal Data