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⟩