Skip to Main content Skip to Navigation
Conference papers

Cryptographic Protocol Analysis on Real C Code

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-03201118
Contributor : Jean Goubault-Larrecq <>
Submitted on : Saturday, April 17, 2021 - 6:57:47 PM
Last modification on : Saturday, May 1, 2021 - 3:39:25 AM

Identifiers

Citation

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⟩

Share

Metrics

Record views

23