FunctionSimSearch: Fast search for statically linked library functions

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

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

Enhancing Symbolic Execution by Machine Learning Based Solver Selection

Sheng-Han Wen (National Taiwan University), Wei-Loon Mow (National Taiwan University), Wei-Ning Chen (National Taiwan University), Chien-Yuan Wang (National Taiwan University), Hsu-Chun Hsiao (National Taiwan University)

cozy: Comparative Symbolic Execution for Binary Programs

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

Is Your Firmware Real or Re-Hosted? A case study...

Abraham A. Clements, Logan Carpenter, William A. Moeglein (Sandia National Laboratories), Christopher Wright (Purdue University)

FunctionSimSearch: Fast search for statically linked library functions

View More Papers

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

Enhancing Symbolic Execution by Machine Learning Based Solver Selection

cozy: Comparative Symbolic Execution for Binary Programs

Is Your Firmware Real or Re-Hosted? A case study...