Luca Borzacchiello

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 9

Top Topics

Symbolic Execution

Android Application

Connectionist Learning

Top Venues

Publications

Luca Borzacchiello, Emilio Coppa, Camil Demetrescu
Handling Memory-Intensive Operations in Symbolic Execution. ISEC (2022)
Luca Borzacchiello, Emilio Coppa, Camil Demetrescu
SENinja: A symbolic execution plugin for Binary Ninja. SoftwareX 20 (2022)
Luca Borzacchiello, Emilio Coppa, Davide Maiorca, Andrea Columbu, Camil Demetrescu, Giorgio Giacinto
Reach Me if You Can: On Native Vulnerability Reachability in Android Apps. ESORICS (3) (2022)
Luca Borzacchiello, Emilio Coppa, Camil Demetrescu
Fuzzing Symbolic Expressions. CoRR (2021)
Luca Borzacchiello, Emilio Coppa, Camil Demetrescu
Fuzzing Symbolic Expressions. ICSE (2021)
Luca Borzacchiello, Emilio Coppa, Camil Demetrescu
FUZZOLIC: Mixing fuzzing and concolic execution. Comput. Secur. 108 (2021)
Marco Angelini, Graziano Blasilli, Luca Borzacchiello, Emilio Coppa, Daniele Cono D'Elia, Camil Demetrescu, Simone Lenti, Simone Nicchi, Giuseppe Santucci
SymNav: Visually Assisting Symbolic Execution. VizSEC (2019)
Luca Borzacchiello, Emilio Coppa, Daniele Cono D'Elia, Camil Demetrescu
Memory models in symbolic execution: key ideas and new thoughts. Softw. Test. Verification Reliab. 29 (8) (2019)
Luca Borzacchiello, Emilio Coppa, Daniele Cono D'Elia, Camil Demetrescu
Reconstructing C2 Servers for Remote Access Trojans with Symbolic Execution. CSCML (2019)