Communication Dans Un Congrès
Année : 2005
Jean Goubault-Larrecq : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03201118
Soumis le : samedi 17 avril 2021-18:57:47
Dernière modification le : mercredi 29 novembre 2023-15:28:04
Citer
Jean Goubault-Larrecq, Fabrice Parrennes. Cryptographic Protocol Analysis on Real C Code. Proceedings of the 6th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'05), Jan 2005, Paris, France. pp.363--379, ⟨10.1007/b105073⟩. ⟨hal-03201118⟩
Collections
9
Consultations
0
Téléchargements