Recent Advances in the Formal Verification of Cryptographic Systems: Turing's Legacy - Archive ouverte HAL Access content directly
Journal Articles ERCIM News Year : 2012

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

(1)
1
Benjamin Grégoire
Not file

Dates and versions

hal-00765897 , version 1 (17-12-2012)

Identifiers

  • HAL Id : hal-00765897 , version 1

Cite

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

Share

Gmail Facebook Twitter LinkedIn More