Guiding a general-purpose C verifier to prove cryptographic protocols (2011)

by F Dupressoir, A D Gordon, J Jürjens, D A Naumann
Venue:in IEEE Computer Security Foundations Symposium