My research is in computer security with a focus on applying formal methods to verify system-level software. Currently, I am focusing on verifying security properties of virtualization software (hypervisors, CPU emulators), and am investigating ways to make the use of traditional formal methods practical for these systems.
I also work in hardware security with a focus on designing algorithms for detecting malicious hardware designs.
In the past, I have worked on making electronic voting secure and practical.
I am currently hiring graduate students. If you are a current or prospective graduate student interested in joining my research group, email me or stop by my office and tell me a little about yourself.