FunctionSimSearch: Fast search for statically linked library functions

cozy: Comparative Symbolic Execution for Binary Programs

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

dewolf: Improving Decompilation by leveraging User Surveys

Steffen Enders, Eva-Maria C. Behner, Niklas Bergmann, Mariia Rybalka, Elmar Padilla (Fraunhofer FKIE, Germany), Er Xue Hui, Henry Low, Nicholas Sim (DSO National Laboratories, Singapore)

Beyond the Bytes: Understanding the Limitations of Intrinsic Binary...

Peter Lafosse (Owner and Co-Founder of Vector 35 Inc.)

Short Paper: Declarative Demand-Driven Reverse Engineering

Yihao Sun, Jeffrey Ching, Kristopher Micinski (Department of Electical Engineering and Computer Science, Syracuse University)

FunctionSimSearch: Fast search for statically linked library functions

View More Papers

cozy: Comparative Symbolic Execution for Binary Programs

dewolf: Improving Decompilation by leveraging User Surveys

Beyond the Bytes: Understanding the Limitations of Intrinsic Binary...

Short Paper: Declarative Demand-Driven Reverse Engineering