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

David A. Basin Cas Cremers Jannik Dreier Ralf Sasse

Published in: IEEE Secur. Priv. (2022)

Keyphrases

cryptographic protocols
real world
security properties
small scale
standard model
security protocols
data mining
authentication protocol