×

TAMARIN

swMATH ID: 23438
Software Authors: Meier, S.; Schmidt, B.; Cremers, C.; Basin, D.
Description: The TAMARIN prover for the symbolic analysis of security protocols. The Tamarin prover supports the automated, unbounded, symbolic analysis of security protocols. It features expressive languages for specifying protocols, adversary models, and properties, and support for efficient deduction and equational reasoning. We provide an overview of the tool and its applications.
Homepage: https://dl.acm.org/citation.cfm?id=2526920
Related Software: Maude-NPA; Maude; Akiss; ProVerif; AVISPA; GitHub; Apte; scyther; MTT; Yices; z3; Helios; ACUOS2; YAPA; FAST; SPEC; OFMC; OBJ3; Z3str2; CPSA
Cited in: 35 Documents
all top 5

Cited by 62 Authors

10 Escobar, Santiago
8 Meseguer Guaita, José
5 Delaune, Stéphanie
5 Sapiña, Julia
3 Cheval, Vincent
3 Durán, Francisco
3 Eker, Steven
3 Kremer, Steve
3 Martí-Oliet, Narciso
3 Talcott, Carolyn L.
2 Alpuente, María
2 Ballis, Demis
2 Hirschi, Lucca
2 López-Rueda, Raúl
2 Meadows, Catherine A.
2 Rubio, Rubén
2 Sasse, Ralf
1 Ahn, Taehyun
1 Aparicio-Sánchez, Damián
1 Arts, Thomas
1 Babel, Kushal
1 Baelde, David
1 Basin, David A.
1 Benac Earle, Clara
1 Blanchet, Bruno
1 Comon-Lundh, Hubert
1 Cortier, Véronique
1 Demakov, Alexey V.
1 Dougherty, Daniel J.
1 Dreier, Jannik
1 Duménil, Charles
1 Erbatur, Serdar
1 Falcone, Yliès
1 Fallah, Mehran S.
1 Fredlund, Lars-åke
1 Guttman, Joshua D.
1 Herzberg, Amir
1 Kassem, Ali
1 Keller, Michel
1 Kim, Seungjoo
1 Kwak, Jiwon
1 Lafourcade, Pascal
1 Lallemand, Joseph
1 Leibowitz, Hemi
1 Li, Dilong
1 Marshall, Andrew M.
1 Mödersheim, Sebastian Alexander
1 Nantes, Daniele
1 Olveczky, Peter Csaba
1 Pérez, Jorge A.
1 Radomirović, Saša
1 Rakotonirina, Itsaka
1 Ramsdell, John D.
1 Ringeissen, Christophe
1 Santiago, Sonia
1 Sattarzadeh, Behnam
1 Sundararajan, Vaishnavi
1 Svensson, Hans
1 Syta, Ewa
1 Tiu, Alwen Fernanto
1 Vinarskii, E. M.
1 Wrótniak, Sara
all top 5

Cited in 9 Serials

6 Journal of Logical and Algebraic Methods in Programming
1 Programming and Computer Software
1 Information and Computation
1 Journal of Automated Reasoning
1 Formal Methods in System Design
1 Theory and Practice of Logic Programming
1 Logical Methods in Computer Science
1 Undergraduate Topics in Computer Science
1 TheoretiCS

Cited in 2 Fields

33 Computer science (68-XX)
20 Information and communication theory, circuits (94-XX)

Citations by Year