Communication Dans Un Congrès
Année : 2008
Jean Goubault-Larrecq : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03196493
Soumis le : lundi 12 avril 2021-20:33:19
Dernière modification le : mercredi 29 novembre 2023-15:28:04
Citer
Jean Goubault-Larrecq. Towards Producing Formally Checkable Security Proofs, Automatically. 2008 21st IEEE Computer Security Foundations Symposium, Jun 2008, Pittsburgh, United States. pp.224-238, ⟨10.1109/CSF.2008.21⟩. ⟨hal-03196493⟩
Collections
12
Consultations
0
Téléchargements