Office hours
My office is room 213 of the Georgia Tech Lorraine building. My hours for spring 2012 are Tuesdays & Wednesdays 10:00-11:30. I have no office hours in Atlanta.
I am working from the Georgia Tech Lorraine campus in Metz, France, for the spring semester 2012. Students in Atlanta that need to speak with me should send me email requesting my skype contact information.
Research interests
System and software security, remediation, attack analysis, static program analysis, virtualization.
Bio
I am an Assistant Professor who joined the Georgia Tech College of Computing in Fall 2006. I earned my Ph.D. from the University of Wisconsin in 2006, where I was a Wisconsin Distinguished Fellow. Also at Wisconsin, I received my B.S. degree in Mathematics in 2000 and my M.S. degree in Computer Sciences in 2002.
I enjoy research in software security, operating system security, and attack analysis. My research builds upon techniques from program analysis, formal methods, and operating systems to retrofit security to insecure systems and software. I investigate both defensive systems and attacks against those systems. On the defensive side, I design new intrusion detection systems that prevent anomalous program execution by constraining execution to a model of expected execution behavior derived from static program analysis. To evaluate the ability of intrusion detectors to actually detect attacks, I then attack the detectors. Formal analysis of the detectors provides insight into their true attack detection capability and illuminates weaknesses requiring continued research into intrusion detection.
I am a member of the Georgia Tech Information Security Center (GTISC).
Current Students
- David Dewey
- Brendan Dolan-Gavitt
- Sang Shin Jung
Previous Students
- Neel Mehta, with IBM/ISS
- Frank Park, joined GT Ph.D. program.
- Ferdinand Schober, joined Microsoft.
- Alkesh Shah, joined VMware.
- Monirul Sharif (co-advised with Wenke Lee), joined Google.
- Abhinav Srivastava, joined AT&T Research.
Oddities
- I was once a monorail pilot at Walt Disney World.
- I once had to be taken by ambulance to a hospital because I was run over by a parade float.
- I hold a black belt in taekwondo.
- My Erdös number is 4. My Bacon number remains undefined.
- I am a descendant of Mayflower passenger Thomas Rogers.


