Eun-Young Lee, Ph.D.
Affiliations: | 2004 | Princeton University, Princeton, NJ |
Area:
Software verification, computer security, programming languages, compilers.Google:
"Eun-Young Lee"Parents
Sign in to add mentorAndrew Appel | grad student | 2004 | Princeton | |
(Secure linking: A logical framework for policy -enforced component composition.) |