Frederick Butler

According to our database, Frederick Butler authored at least 4 papers between 2002 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

2004

Rook theory and cycle-counting permutation statistics.

Frederick Butler

Adv. Appl. Math., 2004

2003

Verifying Confidentiality and Authentication in Kerberos 5.

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

Proceedings of the Software Security, 2003

2002

A Formal Analysis of Some Properties of Kerberos 5 Using MSR.

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

Proceedings of the 15th IEEE Computer Security Foundations Workshop (CSFW-15 2002), 2002