Security Analysis of Network Protocols: Logical and Computational Methods John Mitchell Stanford University Logic and Computational Complexity, 2006.
Spectral Properties of Supermembrane and Multibrane Theories A. Restuccia Simon Bolivar University, Caracas,Venezuela In collaboration with, L. Boulton.
Probabilistic Polynomial-Time Process Calculus for Security Protocol Analysis J. Mitchell, A. Ramanathan, A. Scedrov, V. Teague Partially supported by.
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.
Security Analysis of Network Protocols John Mitchell Stanford University.
Protocol analysis, wireless networking, and mobility John Mitchell Stanford University.