Software Security (SoftSec) Lab conducts research at the boundary of computer security and program analysis. We develop systems and techniques dealing with binary code for assuring software security. Our research interests include a variety of research areas in software security including automatic reverse engineering, exploit verification, malware analysis, fuzzing, and symbolic execution.