Dustin Fraze, Program Manager, DARPA I2O

View More Papers

15 Years of Binary Analysis – What worked, and...

Marion Marschalek, Hack & Cheese Security Consulting

Read More

cozy: Comparative Symbolic Execution for Binary Programs

Caleb Helbling, Graham Leach-Krouse, Sam Lasser, Greg Sullivan (Draper)

Read More

QSynth – A Program Synthesis based approach for Binary...

Robin David (Quarkslab), Luigi Coniglio (University of Trento), Mariano Ceccato (University of Verona)

Read More