Christopher Walstad

According to our database, Christopher Walstad authored at least 3 papers between 2005 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2006

Formal analysis of Kerberos 5.

Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Christopher Walstad

Theor. Comput. Sci., 2006

Breaking and Fixing Public-Key Kerberos.

Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay, Christopher Walstad

IACR Cryptol. ePrint Arch., 2006

2005

Specifying Kerberos 5 cross-realm authentication.

Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Christopher Walstad

Proceedings of the POPL 2005 Workshop on Issues in the Theory of Security, 2005