Login / Signup

Tidy: Symbolic Verification of Timed Cryptographic Protocols.

Gilles BartheUgo Dal LagoGiulio MalavoltaItsaka Rakotonirina
Published in: CCS (2022)
Keyphrases
  • cryptographic protocols
  • petri net
  • security protocols
  • security properties
  • standard model
  • formal verification
  • symbolic representation
  • database
  • model checking
  • encryption decryption
  • locally decodable codes