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)

icLibFuzzer: Isolated-context libFuzzer for Improving Fuzzer Comparability

Yu-Chuan Liang, Hsu-Chun Hsiao (National Taiwan University)

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

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

Investigating Graph Embedding Neural Networks with Unsupervised Features Extraction...

Luca Massarelli (Sapienza University of Rome), Giuseppe A. Di Luna (CINI - National Laboratory of Cybersecurity), Fabio Petroni (Independent Researcher), Leonardo Querzoni (Sapienza University of Rome), Roberto Baldoni (Italian Presidency of Ministry Council)

FunctionSimSearch: Fast search for statically linked library functions

View More Papers

cozy: Comparative Symbolic Execution for Binary Programs

icLibFuzzer: Isolated-context libFuzzer for Improving Fuzzer Comparability

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

Investigating Graph Embedding Neural Networks with Unsupervised Features Extraction...