The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols

By Cas J. F. Cremers. International Conference on Computer Aided Verification, 2008

813 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computer Networks and Communications, Information Systems

View Paper: https://www.semanticscholar.org/paper/3e8a202085b8b28e914db02ccc22201dc77dc968

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. David A. Basin
2. Simon Meier
3. Benedikt Schmidt
4. Cas J. F. Cremers
5. François-Xavier Standaert
6. Geoffrey Smith

In Computer Networks and Communications

1. David A. Basin
2. Simon Meier
3. Benedikt Schmidt
4. Cas J. F. Cremers

In Information Systems

1. David A. Basin
2. Simon Meier
3. Benedikt Schmidt
4. Cas J. F. Cremers

Citations in the corpus

• Computer-Aided Security Proofs for the Working Cryptographer (2011, neutral): “[1,9,14,19]).”
• The TAMARIN Prover for the Symbolic Analysis of Security Protocols (2013, methodology): “Tamarin generalizes the backwards search used by the Scyther tool [4] to enable: protocol specification by multiset rewriting rules; property specification in a guarded fragment of first-order logic, which allows quantification over messages and timepoints; and reasoning modulo equational theories.”