Login / Signup

Verifiable Verification in Cryptographic Protocols.

Marc FischlinFelix Günther
Published in: CCS (2023)
Keyphrases
  • cryptographic protocols
  • security properties
  • standard model
  • security protocols
  • sufficient conditions
  • authentication protocol
  • real time
  • model checking
  • formal verification
  • private information retrieval