Login / Signup

Automatic Verification of Cryptographic Protocols with SETHEO.

Johann Schumann
Published in: CADE (1997)
Keyphrases
  • cryptographic protocols
  • security properties
  • standard model
  • security protocols
  • authentication protocol
  • private information retrieval
  • locally decodable codes