FunctionSimSearch: Fast search for statically linked library functions

B2R2: Building an Efficient Front-End for Binary Analysis

Minkyu Jung (KAIST), Soomin Kim (KAIST), HyungSeok Han (KAIST), Jaeseung Choi (KAIST), Sang Kil Cha (KAIST)

Creating Human Readable Path Constraints from Symbolic Execution

Tod Amon (Sandia National Laboratories), Tim Loffredo (Sandia National Laboratories)

The State of Firmware Analysis (And What We're Doing...

Eric Gustafson (UC Santa Barbara)

o-glassesX: Compiler Provenance Recovery with Attention Mechanism from a...

Yuhei Otsubo (National Police Agency, Tokyo, Japan), Akira Otsuka (Institute of information Security, Japan), Mamoru Mimura (National Defense Academy, Japan),...

FunctionSimSearch: Fast search for statically linked library functions

View More Papers

B2R2: Building an Efficient Front-End for Binary Analysis

Creating Human Readable Path Constraints from Symbolic Execution

The State of Firmware Analysis (And What We're Doing...

o-glassesX: Compiler Provenance Recovery with Attention Mechanism from a...