I am currently an Associate Professor in the Computer Science Department at the University of Texas at Dallas. My research focus concerns the field of language-based security, which leverages techniques from programming language theory and compilers to enforce software security. Topics of interests include in-lined reference monitors, type-safe intermediate languages, software abstract interpretation and model-checking, proof-carrying code, and certifying compilers. I also have ongoing projects related to malware defense and cloud computing security. My research is currently supported by grants from the U.S. Air Force Office of Scientific Research (AFOSR) and the National Science Foundation (NSF). See my CV for additional details.
I received my Master's and Ph.D. degrees from Cornell University, where my doctoral research was part of the Language-Based Security For Malicious Mobile Code initiative. For my thesis, I designed and implemented a certifying program-rewriting system for the Microsoft .NET Framework. I received my Bachelor's degree from Carnegie Mellon University, where I was involved in the Fox Project. For my undergraduate honor's thesis, I worked on Proof-Carrying Code for x86 architectures.
2013 Conference Committees
Current Ph.D. Students
Graduated Ph.D. Students
- Richard Wartell (graduated December 2012, now at Mandiant)
- Micah Jones (graduated December 2011, now at L-3 Communications)
- Sunitha Ramanujam (graduated December 2011)