Research

Our research revolves around the automatic hardening and auditing of applications and systems using static and dynamic program analysis. We focus on the detection of software vulnerabilities and malware, and on instrumenting software to prevent exploitation. We emphasize theoretically well-founded concepts, but target concrete problems in systems security.