| |
| 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 |
| 1 | Frederick Butler | [2] |
| 2 | Iliano Cervesato | [1] [2] [3] |
| 3 | Aaron D. Jaggard | [1] [2] [3] |
| 4 | Andre Scedrov | [1] [2] [3] |
| 5 | Joe-Kai Tsay | [3] |