E-mail senden E-Mail Adresse kopieren
2022-05-04

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

Zusammenfassung

Tamarin is a mature, state-of-the-art tool for cryptographic protocol verification. We survey some of the larger tour de force results achieved and show how Tamarin can formalize protocols, adversary models, and properties, and scale to substantial, real world, verification problems.

-
Veröffentlichungsdatum

2022-05-04

Letztes Änderungsdatum

2023-05-10 09:40:19