Thomas Dullien
FunctionSimSearch: Fast search for statically linked library functions
View More Papers
SURGEON: Performant, Flexible and Accurate Re-Hosting via Transplantation
Florian Hofhammer (EPFL), Marcel Busch (EPFL), Qinying Wang (EPFL and Zhejiang University), Manuel Egele (Boston University), Mathias Payer (EPFL)
Read MoreQSynth – A Program Synthesis based approach for Binary...
Robin David (Quarkslab), Luigi Coniglio (University of Trento), Mariano Ceccato (University of Verona)
Read MoreUnlocking the Potential of Domain Aware Binary Analysis in...
Dr. Zhiqiang Lin (Distinguished Professor of Engineering at The Ohio State University)
Read MoreCreating Human Readable Path Constraints from Symbolic Execution
Tod Amon (Sandia National Laboratories), Tim Loffredo (Sandia National Laboratories)
Read More