Computationally Sound Secrecy Proofs by Mechanized Flow Analysis
Résumé
void
Domaines
Cryptographie et sécurité [cs.CR]
Loading...
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