| |
- Protocol Verification as a Hardware Design Aid, David Dill, Andreas Drexler, Alan Hu and C. Han Yang
- Automated analysis of cryptographic protocols using Murphi, John Mitchell, Mark Mitchell, and Ulrich Stern
- Finite-State Analysis of SSL 3.0, John Mitchell, Vitaly Shmatikov, Ulrich Stern
- Finite-State Analysis of Two Contract Signing Protocols, Vitaly Shmatikov, John Mitchell
|