Robin David (Quarkslab), Luigi Coniglio (University of Trento), Mariano Ceccato (University of Verona)
QSynth – A Program Synthesis based approach for Binary Code Deobfuscation
View More Papers
Effects of Precise and Imprecise Value-Set Analysis (VSA) Information...
Laura Matzen, Michelle A Leger, Geoffrey Reedy (Sandia National Laboratories)
Read MoreInvestigating 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)
Read Morecozy: Comparative Symbolic Execution for Binary Programs
Caleb Helbling, Graham Leach-Krouse, Sam Lasser, Greg Sullivan (Draper)
Read More