FunctionSimSearch: Fast search for statically linked library functions

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)

LAPSE: Automatic, Formal Fault-Tolerant Correctness Proofs for Native Code

Charles Averill, Ilan Buzzetti (The University of Texas at Dallas), Alex Bellon (UC San Diego), Kevin Hamlen (The University of Texas at Dallas)

DITTANY: Strength-Based Dynamic Information Flow Analysis Tool for x86...

Walid J. Ghandour, Clémentine Maurice (CNRS, CRIStAL)

FunctionSimSearch: Fast search for statically linked library functions

View More Papers

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

LAPSE: Automatic, Formal Fault-Tolerant Correctness Proofs for Native Code

DITTANY: Strength-Based Dynamic Information Flow Analysis Tool for x86...