×

TAPS

swMATH ID: 2244
Software Authors: Cohen, Ernie
Description: TAPS: A first-order verifier for cryptographic protocols
Homepage: http://www.springerlink.com/content/w2r8400275239569/
Related Software: Casper; AVISPA; SATO; Chaff; Kronos; MCMAS-X; MCMAS; VerICS; LDYIS; BerkMin; SPASS; NRL; Cryptyc; Isabelle/HOL; Coq; TulaFale; OTTER
Cited in: 18 Documents

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
TAPS: A first-order verifier for cryptographic protocols. Zbl 0974.68562
Cohen, Ernie
2000
all top 5

Cited by 35 Authors

3 Penczek, Wojciech
2 Armando, Alessandro
2 Compagna, Luca
2 Delzanno, Giorgio
2 Kurkowski, Mirosław
1 Bhargavan, Karthikeyan
1 Blanchet, Bruno
1 Boureanu, Ioana
1 Bozga, Liana
1 Bozzano, Marco
1 Bundy, Alan
1 Cohen, Ernie
1 Cohen, Mika
1 Comon-Lundh, Hubert
1 Cortier, Véronique
1 Ene, Cristian
1 Fournet, Cédric
1 Ganty, Pierre
1 Gordon, Andrew D.
1 Haack, Christian
1 Hagiya, Masami
1 Jakubowska, Gizela
1 Jeffrey, Alan S. A.
1 Lakhnech, Yassine
1 Lomuscio, Alessio
1 Maidl, Monika
1 Necula, George C.
1 Paulson, Lawrence Charles
1 Podelski, Andreas
1 Saito, Takamichi
1 Schneck, Robert R.
1 Steel, Graham
1 Takahashi, Koichi
1 Takemura, Ryo
1 Zbrzezny, Andrzej
all top 5

Cited in 6 Serials

2 Theoretical Computer Science
2 Fundamenta Informaticae
1 Journal of Symbolic Computation
1 Information and Computation
1 Journal of Applied Non-Classical Logics
1 The Journal of Logic and Algebraic Programming

Cited in 3 Fields

16 Computer science (68-XX)
11 Information and communication theory, circuits (94-XX)
1 Mathematical logic and foundations (03-XX)

Citations by Year