Cryptographic protocol analysis on real c code (2005)

by J Goubault-Larrecq, F Parrennes
Venue:In Proc. 6th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI’05