Daniele Cono D'Elia
I'm a postdoctoral researcher in the SEASON Lab at Sapienza University of Rome and a member of the CIS Sapienza research center for Cyber Intelligence and Information Security. I'm one of the organizers of the CyberChallenge.IT initiative.
I got my PhD in 2016 under the supervision of Camil Demetrescu. I've been a visiting scholar at Purdue in 2014, working with Jan Vitek. I teach Malware Analysis and Incident Forensics since Fall 2018. Previously, I taught Computer System Architecture (Sistemi di Calcolo) in Fall 2016 and Spring 2018.
My research interests involve programming languages and security. I play with compilers, program analysis, algorithm engineering, and code optimization techniques. In my free time, I'm a road cyclist, swimmer, and traveler.
The ROP Needle: Hiding Trigger-based Injection Vectors via Code Reuse
P. Borrello, E. Coppa, D.C. D'Elia, C. Demetrescu. ACM SAC 2019
ROPMate: Visually Assisting the Creation of ROP-based Exploits
M. Angelini, G. Blasilli, P. Borrello, E. Coppa, D.C. D'Elia, S. Ferracci, S. Lenti, G. Santucci. Best paper Award @ IEEE VizSec 2018
On-Stack Replacement, Distilled
D.C. D'Elia, C. Demetrescu. ACM PDLI 2018
[J] A Survey of Symbolic Execution Techniques
R. Baldoni, E. Coppa, D.C. D'Elia, C. Demetrescu, I. Finocchi. ACM Computing Surveys 2018
Rethinking Pointer Reasoning in Symbolic Execution
D.C. D'Elia, C. Demetrescu. IEEE/ACM ASE 2017
Assisting Malware Analysis with Symbolic Execution: A Case Study
R. Baldoni, E. Coppa, D.C. D'Elia, C. Demetrescu. CSCML 2017
Flexible On-Stack Replacement in LLVM
D.C. D'Elia, C. Demetrescu. IEEE/ACM CGO 2016
[J] Mining Hot Calling Contexts in Small Space
D.C. D'Elia, C. Demetrescu, I. Finocchi. Software: Practice and Experience 2015
Ball-Larus Path Profiling Across Multiple Loop Iterations
D.C. D'Elia, C. Demetrescu. ACM OOPSLA 2013
Mining Hot Calling Contexts in Small Space
D.C. D'Elia, C. Demetrescu, I. Finocchi. ACM PLDI 2011