Scyther : semantics and verification of security protocols

By Cjf Cas Cremers. 2006

390 citations recorded by the source corpus.

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

View Paper: https://www.semanticscholar.org/paper/4abeecda63a90f2c39554843c8189a6cd8c4eea5

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. Jothi Prasanna Shanmuga Sundaram
2. Wan Du
3. Cas J. F. Cremers
4. Zhiwei Zhao

In Computer Networks and Communications

1. Jothi Prasanna Shanmuga Sundaram
2. Wan Du
3. Cas J. F. Cremers
4. Zhiwei Zhao

In Information Systems

1. Jothi Prasanna Shanmuga Sundaram
2. Wan Du
3. Cas J. F. Cremers
4. Zhiwei Zhao

Citations in the corpus

• A Survey on LoRa Networking: Research Problems, Current Solutions, and Open Issues (2019, positive): “1 with Scyther security verification tool [125].”
• The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols (2008, methodology): “Further details about the underlying methods are given in [8].”