Researchers: David Brumley, Andres Jager
Cross Cutting Thrusts: Software Security
Scope: Research new binary analysis techniques and implement those new techniques as part of Binary Analysis Platform (BAP). Use those techniques for new software security research. Synergy: improvements in binary analysis allow us to get better results in software security; and software security motivates which binary analysis techniques are most relevant to security.
Outcomes: Publications in appropriate academic venues, prototype tools available to CyLab partners and other researchers.