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

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

Published in: CSF (2011)

Keyphrases

cryptographic protocols
general purpose
special purpose
standard model
security properties
encryption decryption
cloud computing
security protocols
authentication protocol