Luca Borzacchiello

According to our database, Luca Borzacchiello authored at least 8 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

SENinja: A symbolic execution plugin for Binary Ninja.

Luca Borzacchiello, Emilio Coppa, Camil Demetrescu

SoftwareX, December, 2022

Handling Memory-Intensive Operations in Symbolic Execution.

Luca Borzacchiello, Emilio Coppa, Camil Demetrescu

Proceedings of the ISEC 2022: 15th Innovations in Software Engineering Conference, Gandhinagar, India, February 24, 2022

Reach Me if You Can: On Native Vulnerability Reachability in Android Apps.

Luca Borzacchiello, Emilio Coppa, Davide Maiorca, Andrea Columbu, Camil Demetrescu, Giorgio Giacinto

Proceedings of the Computer Security - ESORICS 2022, 2022

2021

FUZZOLIC: Mixing fuzzing and concolic execution.

Luca Borzacchiello, Emilio Coppa, Camil Demetrescu

Comput. Secur., 2021

Fuzzing Symbolic Expressions.

Luca Borzacchiello, Emilio Coppa, Camil Demetrescu

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

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

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

Proceedings of the 16th IEEE Symposium on Visualization for Cyber Security, VizSec 2019, 2019

Reconstructing C2 Servers for Remote Access Trojans with Symbolic Execution.

Luca Borzacchiello, Emilio Coppa, Daniele Cono D'Elia, Camil Demetrescu

Proceedings of the Cyber Security Cryptography and Machine Learning, 2019