| 2008 |
|---|
| 4 | EE | Bruno Blanchet,
Aaron D. Jaggard,
Andre Scedrov,
Joe-Kai Tsay:
Computationally sound mechanized proofs for basic and public-key Kerberos.
ASIACCS 2008: 87-99 |
| 3 | EE | Iliano Cervesato,
Aaron D. Jaggard,
Andre Scedrov,
Joe-Kai Tsay,
Christopher Walstad:
Breaking and fixing public-key Kerberos.
Inf. Comput. 206(2-4): 402-424 (2008) |
| 2006 |
|---|
| 2 | EE | Iliano Cervesato,
Aaron D. Jaggard,
Andre Scedrov,
Joe-Kai Tsay,
Christopher Walstad:
Breaking and Fixing Public-Key Kerberos.
ASIAN 2006: 167-181 |
| 1 | EE | Michael Backes,
Iliano Cervesato,
Aaron D. Jaggard,
Andre Scedrov,
Joe-Kai Tsay:
Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos.
ESORICS 2006: 362-383 |
