Contract-Signing Protocols J. Mitchell CS 2592008.
Automatic Proof of Strong Secrecy for Security Protocols By Bruno Blanchet Originally presented at: IEEE Symposium on Security and Privacy Oakland, California,
Thoughts on the Formal Modeling of Security of Sensor Networks Catherine Meadows Center for High Assurance Computer Systems Naval Research Laboratory Washington,
Computationally Sound Mechanized Proofs of Basic and Public-key Kerberos FormaCrypt meeting, Nov. 30, 2007 B. Blanchet 1, A. D. Jaggard 2, A. Scedrov 3,
Contract-Signing Protocols J. Mitchell CS 259. Revised schedule uTuesday 1/24 Contract-signing protocols uThursday 1/26 Secure hardware architecture (XOM)
Automatic Proof of Strong Secrecy for Security Protocols
Computationally Sound Mechanized Proofs of Basic and Public-key Kerberos