Working at the intersection of computer security and program analysis, our lab is actively developing systems and techniques for assuring software security. Our research interests include automatic reverse engineering, exploit verification, malware analysis, fuzzing, and symbolic execution. We use the following approaches:

1. We analyze programs to find vulnerabilities.
2. We study offensive hacking techniques in order to develop defensive mechanisms.
3. We engineer software systems that are secure and reliable.