Sign in

Tamarin: Verification of Large-Scale, Real-World, Cryptographic Protocols.

David A. BasinCas CremersJannik DreierRalf Sasse
Published in: IEEE Secur. Priv. (2022)
Keyphrases
  • cryptographic protocols
  • real world
  • security properties
  • small scale
  • standard model
  • security protocols
  • data mining
  • authentication protocol