My research is in computer security. My current work focuses on finding and preventing vulnerabilities in hardware designs using a combination of static analysis, model checking, and dynamic verification.
Some of my past work includes proving security properties of virtualization software by making traditional formal methods practical for these systems and verifying the correctness of a human--machine interface for an electronic voting machine.
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.