Computer-assisted verification of a protocol for certified email

The 26th USENIX Security Symposium 2017

Aggelos Kiayias, Thomas Zacharias, Riivo Talviste · USENIX Security Symposium · 2017 · 1.2K citations

Computing, Computer Science, Computer Systems +12

19th International World Wide Web Conference

IEEE Internet Computing · 2010 · 193 citations

Computing, Computer Science, Information Technology +9

Analyzing security protocols with secrecy types and logic programs

Martı́n Abadi, Bruno Blanchet · Journal of the ACM · 2005 · 158 citations

Computing, Computer Science, Formal Methods +16

Inductive analysis of the Internet protocol TLS

ACM Transactions on Information and System Security · 1999 · 145 citations · Full text

Computing, Computer Science, Computer Security +16

Finite-state analysis of two contract signing protocols

Vitaly Shmatikov, John C. Mitchell · Theoretical Computer Science · 2002 · 102 citations

Computing, Computer Science, Cryptography +13