Computationally Sound Secrecy Proofs by Mechanized Flow Analysis - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2006

Computationally Sound Secrecy Proofs by Mechanized Flow Analysis

Abstract

void
Fichier principal
Vignette du fichier
paper1.pdf (152.5 Ko) Télécharger le fichier
Loading...

Dates and versions

inria-00080498 , version 1 (19-06-2006)

Identifiers

  • HAL Id : inria-00080498 , version 1

Cite

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⟩

Collections

FCC2006
23 View
188 Download

Share

Gmail Facebook X LinkedIn More