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 <>
Submitted on : Monday, June 19, 2006 - 10:45:19 AM
Last modification on : Tuesday, October 31, 2017 - 2:22:18 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

90

Files downloads

307