Reconstructing C2 Servers for Remote Access Trojans with Symbolic Execution. - Luca Borzacchiello; Emilio Coppa; Daniele Cono D'Elia; Camil Demetrescu (CSCML, 2019)

SymNav: Visually Assisting Symbolic Execution. - Marco Angelini; Graziano Blasilli; Luca Borzacchiello; Emilio Coppa; Daniele Cono D'Elia; Camil Demetrescu; Simone Lenti; Simone Nicchi; Giuseppe Santucci (VizSEC, 2019)

Memory models in symbolic execution: key ideas and new thoughts. - Luca Borzacchiello; Emilio Coppa; Daniele Cono D'Elia; Camil Demetrescu (Softw. Test. Verification Reliab., 2019)

Fuzzing Symbolic Expressions. - Luca Borzacchiello; Emilio Coppa; Camil Demetrescu (ICSE, 2021)

FUZZOLIC: Mixing fuzzing and concolic execution. - Luca Borzacchiello; Emilio Coppa; Camil Demetrescu (Comput. Secur., 2021)

Reach Me if You Can: On Native Vulnerability Reachability in Android Apps. - Luca Borzacchiello; Emilio Coppa; Davide Maiorca; Andrea Columbu; Camil Demetrescu; Giorgio Giacinto (ESORICS (3), 2022)

Handling Memory-Intensive Operations in Symbolic Execution. - Luca Borzacchiello; Emilio Coppa; Camil Demetrescu (ISEC, 2022)

SENinja: A symbolic execution plugin for Binary Ninja. - Luca Borzacchiello; Emilio Coppa; Camil Demetrescu (SoftwareX, 2022)