2008 |
4 | 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 |
3 | EE | Iliano Cervesato,
Aaron D. Jaggard,
Andre Scedrov,
Joe-Kai Tsay,
Christopher Walstad:
Breaking and Fixing Public-Key Kerberos.
ASIAN 2006: 167-181 |
2 | EE | Frederick Butler,
Iliano Cervesato,
Aaron D. Jaggard,
Andre Scedrov,
Christopher Walstad:
Formal analysis of Kerberos 5.
Theor. Comput. Sci. 367(1-2): 57-87 (2006) |
2005 |
1 | EE | Iliano Cervesato,
Aaron D. Jaggard,
Andre Scedrov,
Christopher Walstad:
Specifying Kerberos 5 cross-realm authentication.
WITS 2005: 12-26 |