Luca Borzacchiello

Sapienza University of Rome

Info


Research interests:

Cybersecurity, program analysis, symbolic execution.

Email:
borzacchiello [at] diag.uniroma1.it
Public Key:
download
Position:
Ph.D. Student

Education


Nov 2018 - now
PhD in Engineering in Computer Science at Sapienza University of Rome.
Advisor: Prof. Camil Demetrescu (demetres [at] dis.uniroma1.it).

Sept 2016 - Oct 2018
Master of Science in Engineering in Computer Science at Sapienza University of Rome.
GPA 29.64/30. Final grade: 110/110 summa cum laude. Thesis Advisor: Prof. Camil Demetrescu (demetres [at] dis.uniroma1.it).

Sept 2013 - Oct 2016
Bachelor of Science in Engineering in Computer Science at Sapienza University of Rome.
GPA 29.19/30. Final grade: 110/110 summa cum laude. Thesis Advisor: Prof. Camil Demetrescu (demetres [at] dis.uniroma1.it).

Sept 2008 - July 2013
Liceo Scientifico Isaac Newton, Rome. Final grade: 97/100.

Publications


  • Luca Borzacchiello, Emilio Coppa, and Camil Demetrescu. FUZZOLIC: mixing fuzzing and concolic execution. Computers & Security (COSE), 2021. project site.
  • Luca Borzacchiello, Emilio Coppa, and Camil Demetrescu. Fuzzing Symbolic Expressions. International Conference on Software Engineering (ICSE), 2021. preprint. project site.
  • Luca Borzacchiello, Emilio Coppa, Daniele Cono D'Elia, and Camil Demetrescu. Memory Models in Symbolic Execution: Key Ideas and New Thoughts. Software Testing, Verification and Reliability, 2019. preprint.
  • Marco Angelini, Graziano Blasilli, Luca Borzacchiello, Emilio Coppa, Daniele Cono D'Elia, Camil Demetrescu, Simone Lenti, Simone Nicchi, and Giuseppe Santucci. SymNav: Visually Assisting Symbolic Execution. IEEE Symposium on Visualization for Cyber Security (VizSec), 2019. preprint. project site.
  • Luca Borzacchiello, Emilio Coppa, Daniele Cono D'Elia, and Camil Demetrescu. Reconstructing C2 Servers for Remote Access Trojans with Symbolic Execution. International Symposium on Cyber Security Cryptology and Machine Learning (CSCML), 2019. preprint.

Teaching


Awards


2019
Completed flare-on 6 challenge [bageyelet]
2017
3rd place, pentesting cyberchallenge.it