Our research program focuses on automatic program analysis:

reverse engineering: helping engineers to better understand program artifacts.

assurance: finding bugs and security vulnerabilities in software.

protection: high-fidelity and pervasive rewriting of software executables.

producibility: lowering the cost of software development and maintenance.