A Formal Analysis of Some Properties of Kerberos 5 Using MSR. - Frederick Butler; Iliano Cervesato; Aaron D. Jaggard; Andre Scedrov (CSFW, 2002)

Verifying Confidentiality and Authentication in Kerberos 5. - Frederick Butler; Iliano Cervesato; Aaron D. Jaggard; Andre Scedrov (ISSS, 2003)

Rook theory and cycle-counting permutation statistics. - Frederick Butler (Adv. Appl. Math., 2004)

Formal analysis of Kerberos 5. - Frederick Butler; Iliano Cervesato; Aaron D. Jaggard; Andre Scedrov; Christopher Walstad (Theor. Comput. Sci., 2006)

Preliminary results of the effects of interactive computer labs. - Frederick Butler; Melanie Butler (J. Comput. Sci. Coll., 2009)