Statistics
Publications
2
Citations
122
H-Index
2
Active since
2005
Affiliations
University of Pennsylvania(Current)
Frederick Butler is an author at University of Pennsylvania specializing in computer science, authentication, and formal security analysis.
Publications per year
2005–2006
2
2
Frederick Butler, Iliano Cervesato, Aaron D. Jaggard et al. · Theoretical Computer Science · 2006 · 64 citations
A formal analysis of ome properties of kerberos 5 using MSR
Frederick Butler, Iliano Cervesato, Aaron D. Jaggard et al. · 2005 · 58 citations
1–2 of 2