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, Daniele Cono D'Elia, and Camil Demetrescu. Reconstructing C2 Servers for Remote Access Trojans with Symbolic Execution. CSCML, 2019.
  • 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. VizSec, 2019.
  • 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.

Teaching



A.A. 2017-2018

Awards


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