Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols

Publication
24th IEEE Computer Security Foundations Symposium