Bio
I am a Speers family assistant professor of Computer Science at Dartmouth College.
I specialize in software security and build models to reason about new cyber attacks and defenses across the software stack and hardware boundaries. My work is at the intersection of program analysis, formal methods and machine learning with applications to reverse engineering and vulnerability discovery and a focus on binary code and firmware. My research interests also include intrusion detection, usable security and privacy-preserving systems.
Prior to joining Dartmouth College, I was a Research Computer Scientist and Research Lead at University of California’s Information Sciences Institute (USC-ISI) where I founded and led the Binary Analysis and Systems Security (BASS).
I was previously a postdoctoral researcher in the Seclab at University of California, Santa Barbara where I worked on binary program analysis and reverse engineering projects, and on the angr binary program analysis platform.