Tamarin Prover is a formal verification tool belonging to the class of symbolic protocol analyzers that enables automated, rigorous security analysis of cryptographic protocols by modeling adversarial capabilities and protocol executions within a dynamic, multi-sorted equational first-order logic framework.
14
Publications
603
Citations
39
Authors
23
Institutions
Publications per year
2017–2026
10
Publications
14
David Basin, Cas Cremers, Tiffany Hyun‐Jin Kim et al. · 2014 · 112 citations
Automated Analysis and Verification of TLS 1.3: 0-RTT, Resumption and Delayed Authentication
Cas Cremers, Marko Horvat, Sam Scott et al. · 2016 · 103 citations
Automated Symbolic Proofs of Observational Equivalence
David Basin, Jannik Dreier, Ralf Sasse · 2015 · 73 citations · Full text
1–5 of 14
Authors
39
- CC
5
h-index
- RS
5
h-index
- DB
3
h-index
- JD
3
h-index
- SR
2
h-index
1–5 of 39
Institutions
23
ETH Zurich
Zurich, Switzerland
5 h-index
11 publications
728 citations
University of Oxford
Oxford, United Kingdom
5 h-index
7 publications
428 citations
Laboratoire Lorrain de Recherche en Informatique et ses Applications
Nancy, France
3 h-index
8 publications
144 citations
Science Oxford
Oxford, United Kingdom
2 h-index
3 publications
93 citations
Université de Lorraine
Nancy, France
2 h-index
3 publications
64 citations
University of Dundee
Dundee, United Kingdom
2 h-index
2 publications
53 citations
University of Luxembourg
Luxembourg, Luxembourg
2 h-index
5 publications
65 citations
Jenner Institute
Oxford, United Kingdom
1 h-index
2 publications
54 citations
1–8 of 23
Venues
- Journal of Computer Security
2 publications · 38 citations
2
h-index
- IEEE Access
2 publications · 60 citations
2
h-index
- IEEE Internet of Things Journal
1 publications · 64 citations
1
h-index
- IEEE Transactions on Information Forensics and Security
1 publications · 17 citations
1
h-index
- Cyber Security and Applications
1 publications · 27 citations
1
h-index
1–5