Security Analysis of Network Protocols: Logical and Computational Methods John Mitchell Stanford University Logic and Computational Complexity, 2006.
Contract-Signing Protocols J. Mitchell CS 2592008.
Security Analysis of Network Protocols: Logical and Computational Methods John Mitchell Stanford University ICALP and PPDP, 2005.
Symbolic and Computational Analysis of Network Protocol Security John Mitchell Stanford University Asian 2006.
Protocol analysis, wireless networking, and mobility John Mitchell Stanford University.
Security Analysis of Network Protocols Anupam Datta Stanford University CIS Seminar, MIT November 18, 2005.