Skip to Main content Skip to Navigation
Conference papers

Computationally Sound Secrecy Proofs by Mechanized Flow Analysis

Résumé : void
Document type :
Conference papers
Complete list of metadata

Cited literature [9 references]  Display  Hide  Download

https://hal.inria.fr/inria-00080498
Contributor : Véronique Cortier Connect in order to contact the contributor
Submitted on : Monday, June 19, 2006 - 10:45:19 AM
Last modification on : Monday, January 24, 2022 - 12:44:15 PM
Long-term archiving on: : Monday, April 5, 2010 - 11:00:15 PM

Identifiers

  • HAL Id : inria-00080498, version 1

Collections

Citation

Michael Backes, Peeter Laud. Computationally Sound Secrecy Proofs by Mechanized Flow Analysis. Workshop on Formal and Computational Cryptography (FCC2006), Véronique Cortier, Steve Kremer, Jul 2006, Venice/Italy. ⟨inria-00080498⟩

Share

Metrics

Record views

22

Files downloads

156