Login / Signup

Guiding a general-purpose C verifier to prove cryptographic protocols.

François DupressoirAndrew D. GordonJan JürjensDavid A. Naumann
Published in: J. Comput. Secur. (2014)
Keyphrases
  • cryptographic protocols
  • general purpose
  • special purpose
  • standard model
  • security protocols
  • authentication protocol
  • real time
  • low cost
  • image compression
  • security properties
  • encryption decryption