(2022) Tamarin: Verification of Large-Scale, Real-World, Cryptographic Protocols.
IEEE Security and Privacy.
ISSN 1540-7993
Full text not available from this repository.
Abstract
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.
| Item Type: | Article |
|---|---|
| Divisions: | Cas Cremers (CC) |
| Depositing User: | Jonas Schneider-Bensch |
| Date Deposited: | 10 May 2023 09:40 |
| Last Modified: | 10 May 2023 09:40 |
| Primary Research Area: | NRA2: Reliable Security Guarantees |
| URI: | https://publications.cispa.saarland/id/eprint/3945 |
Actions
Actions (login required)
 |
View Item |