Joe-Kai Tsay, Ph.D.
Affiliations: | 2008 | University of Pennsylvania, Philadelphia, PA, United States |
Area:
Logic, Information AssuranceGoogle:
"Joe-Kai Tsay"Parents
Sign in to add mentorAndre Scedrov | grad student | 2008 | Penn | |
(Formal analysis of the Kerberos authentication protocol.) |