Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols.

François Dupressoir Andrew D. Gordon Jan Jürjens David A. Naumann

Published in: CoRR (2013)

Keyphrases

cryptographic protocols
general purpose
special purpose
standard model
security properties
security protocols
authentication protocol
locally decodable codes