The TAMARIN Prover for the Symbolic Analysis of Security Protocols

By Simon Meier, Benedikt Schmidt, Cas J. F. Cremers, David A. Basin. International Conference on Computer Aided Verification, 2013

778 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics, Computer Networks and Communications

View Paper: https://www.semanticscholar.org/paper/189fab4c16c57882f93e7c19bad74ee992827d19

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Lucca Hirschi
2. Jannik Dreier
3. David A. Basin
4. Ralf Sasse
5. Sasa Radomirovic
6. Vincent Stettler
7. François-Xavier Standaert
8. Geoffrey Smith

In Computational Theory and Mathematics

1. David A. Basin

In Computer Networks and Communications

1. Lucca Hirschi
2. Jannik Dreier
3. David A. Basin
4. Ralf Sasse
5. Sasa Radomirovic
6. Vincent Stettler

Citations in the corpus

• A Formal Analysis of 5G Authentication (2018, methodology): “Given these features, we are left with just the verifier Tamarin [30] as a suitable tool, and Tamarin has only recently been extended to handle XOR [21].”