Computationally Sound Secrecy Proofs by Mechanized Flow Analysis
Résumé
void
Domaines
Cryptographie et sécurité [cs.CR]
Loading...
Communication Dans Un Congrès
Année : 2006
Véronique Cortier : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00080498
Soumis le : lundi 19 juin 2006-10:45:19
Dernière modification le : lundi 24 janvier 2022-12:44:15
Archivage à long terme le : lundi 5 avril 2010-23:00:15
Dates et versions
Identifiants
- HAL Id : inria-00080498 , version 1
Citer
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
25
Consultations
195
Téléchargements