Daniele Cono D'Elia

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 33

Top Topics

Test Data Generation

Static Analysis

Top Venues

Publications

Cristian Assaiante, Simone Nicchi, Daniele Cono D'Elia, Leonardo Querzoni
Evading Userland API Hooking, Again: Novel Attacks and a Principled Defense Method. DIMVA (2024)
Daniele Cono D'Elia, Simone Nicchi, Matteo Mariani, Matteo Marini, Federico Palmaro
Designing Robust API Monitoring Solutions. IEEE Trans. Dependable Secur. Comput. 20 (1) (2023)
Gianluca Capozzi, Daniele Cono D'Elia, Giuseppe Antonio Di Luna, Leonardo Querzoni
Adversarial Attacks against Binary Similarity Systems. CoRR (2023)
Jakob Koschel, Pietro Borrello, Daniele Cono D'Elia, Herbert Bos, Cristiano Giuffrida
Uncontained: Uncovering Container Confusion in the Linux Kernel. USENIX Security Symposium (2023)
Cristian Assaiante, Daniele Cono D'Elia, Giuseppe Antonio Di Luna, Leonardo Querzoni
Where Did My Variable Go? Poking Holes in Incomplete Debug Information. ASPLOS (2) (2023)
Cristian Assaiante, Daniele Cono D'Elia, Giuseppe Antonio Di Luna, Leonardo Querzoni
Where Did My Variable Go? Poking Holes in Incomplete Debug Information. CoRR (2022)
Giacomo Priamo, Daniele Cono D'Elia, Leonardo Querzoni
Principled Composition of Function Variants for Dynamic Software Diversity and Program Protection. ASE (2022)
Pietro Borrello, Daniele Cono D'Elia, Leonardo Querzoni, Cristiano Giuffrida
Constantine: Automatic Side-Channel Resistance Using Efficient Control and Data Flow Linearization. CCS (2021)
Pietro Borrello, Daniele Cono D'Elia, Leonardo Querzoni, Cristiano Giuffrida
Constantine: Automatic Side-Channel Resistance Using Efficient Control and Data Flow Linearization. CoRR (2021)
Daniele Cono D'Elia, Lorenzo Invidia, Leonardo Querzoni
Rope: Covert Multi-process Malware Execution with Return-Oriented Programming. ESORICS (1) (2021)
Andrea Fioraldi, Daniele Cono D'Elia, Davide Balzarotti
The Use of Likely Invariants as Feedback for Fuzzers. USENIX Security Symposium (2021)
Pietro Borrello, Emilio Coppa, Daniele Cono D'Elia
Hiding in the Particles: When Return-Oriented Programming Meets Program Obfuscation. DSN (2021)
Andrea Fioraldi, Daniele Cono D'Elia, Emilio Coppa
WEIZZ: automatic grey-box fuzzing for structured binary formats. ISSTA (2020)
Andrea Fioraldi, Daniele Cono D'Elia, Leonardo Querzoni
Fuzzing Binaries for Memory Safety Errors with QASan. SecDev (2020)
Pietro Borrello, Emilio Coppa, Daniele Cono D'Elia
Hiding in the Particles: When Return-Oriented Programming Meets Program Obfuscation. CoRR (2020)
Simone Nicchi, Matteo Mariani, Matteo Marini, Federico Palmaro, Daniele Cono D'Elia
Designing Robust API Monitoring Solutions. CoRR (2020)
Daniele Cono D'Elia, Emilio Coppa, Federico Palmaro, Lorenzo Cavallaro
On the Dissection of Evasive Malware. IEEE Trans. Inf. Forensics Secur. 15 (2020)
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)
Andrea Fioraldi, Daniele Cono D'Elia, Emilio Coppa
WEIZZ: Automatic Grey-box Fuzzing for Structured Binary Formats. CoRR (2019)
Daniele Cono D'Elia, Emilio Coppa, Simone Nicchi, Federico Palmaro, Lorenzo Cavallaro
SoK: Using Dynamic Binary Instrumentation for Security (And How You May Get Caught Red Handed). AsiaCCS (2019)
Daniele Cono D'Elia, Emilio Coppa, Andrea Salvati, Camil Demetrescu
Static Analysis of ROP Code. EuroSec@EuroSys (2019)
Pietro Borrello, Emilio Coppa, Daniele Cono D'Elia, Camil Demetrescu
The ROP needle: hiding trigger-based injection vectors via code reuse. SAC (2019)
Luca Borzacchiello, Emilio Coppa, Daniele Cono D'Elia, Camil Demetrescu
Reconstructing C2 Servers for Remote Access Trojans with Symbolic Execution. CSCML (2019)
Roberto Baldoni, Emilio Coppa, Daniele Cono D'Elia, Camil Demetrescu, Irene Finocchi
A Survey of Symbolic Execution Techniques. ACM Comput. Surv. 51 (3) (2018)
Daniele Cono D'Elia, Camil Demetrescu
On-stack replacement, distilled. PLDI (2018)
Marco Angelini, Graziano Blasilli, Pietro Borrello, Emilio Coppa, Daniele Cono D'Elia, Serena Ferracci, Simone Lenti, Giuseppe Santucci
ROPMate: Visually Assisting the Creation of ROP-based Exploits. VizSEC (2018)
Daniele Cono D'Elia, Camil Demetrescu
On-Stack Replacement à la Carte. CoRR (2017)
Roberto Baldoni, Emilio Coppa, Daniele Cono D'Elia, Camil Demetrescu
Assisting Malware Analysis with Symbolic Execution: A Case Study. CSCML (2017)
Emilio Coppa, Daniele Cono D'Elia, Camil Demetrescu
Rethinking pointer reasoning in symbolic execution. ASE (2017)
Roberto Baldoni, Emilio Coppa, Daniele Cono D'Elia, Camil Demetrescu, Irene Finocchi
A Survey of Symbolic Execution Techniques. CoRR (2016)
Daniele Cono D'Elia, Camil Demetrescu, Irene Finocchi
Mining hot calling contexts in small space. Softw. Pract. Exp. 46 (8) (2016)
Daniele Cono D'Elia, Camil Demetrescu
Flexible on-stack replacement in LLVM. CGO (2016)
Daniele Cono D'Elia, Camil Demetrescu, Irene Finocchi
Ball-Larus Path Profiling Across Multiple Loop iterations CoRR (2013)
Daniele Cono D'Elia, Camil Demetrescu
Ball-Larus path profiling across multiple loop iterations. OOPSLA (2013)
Daniele Cono D'Elia, Camil Demetrescu, Irene Finocchi
Mining hot calling contexts in small space. PLDI (2011)