Daniele Cono D'Elia

According to our database, Daniele Cono D'Elia authored at least 27 papers between 2013 and 2023.

Collaborative distances:

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

2023

Designing Robust API Monitoring Solutions.

Daniele Cono D'Elia, Simone Nicchi, Matteo Mariani, Matteo Marini, Federico Palmaro

IEEE Trans. Dependable Secur. Comput., 2023

Where Did My Variable Go? Poking Holes in Incomplete Debug Information.

Cristian Assaiante, Daniele Cono D'Elia, Giuseppe Antonio Di Luna, Leonardo Querzoni

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2022

Principled Composition of Function Variants for Dynamic Software Diversity and Program Protection.

Giacomo Priamo, Daniele Cono D'Elia, Leonardo Querzoni

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

2021

The Use of Likely Invariants as Feedback for Fuzzers.

Andrea Fioraldi, Daniele Cono D'Elia, Davide Balzarotti

Proceedings of the 30th USENIX Security Symposium, 2021

Rope: Covert Multi-process Malware Execution with Return-Oriented Programming.

Daniele Cono D'Elia, Lorenzo Invidia, Leonardo Querzoni

Proceedings of the Computer Security - ESORICS 2021, 2021

Hiding in the Particles: When Return-Oriented Programming Meets Program Obfuscation.

Pietro Borrello, Emilio Coppa, Daniele Cono D'Elia

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021

Constantine: Automatic Side-Channel Resistance Using Efficient Control and Data Flow Linearization.

Pietro Borrello, Daniele Cono D'Elia, Leonardo Querzoni, Cristiano Giuffrida

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020

On the Dissection of Evasive Malware.

Daniele Cono D'Elia, Emilio Coppa, Federico Palmaro, Lorenzo Cavallaro

IEEE Trans. Inf. Forensics Secur., 2020

Fuzzing Binaries for Memory Safety Errors with QASan.

Andrea Fioraldi, Daniele Cono D'Elia, Leonardo Querzoni

Proceedings of the IEEE Secure Development, SecDev 2020, Atlanta, GA, USA, 2020

WEIZZ: automatic grey-box fuzzing for structured binary formats.

Andrea Fioraldi, Daniele Cono D'Elia, Emilio Coppa

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

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

The ROP needle: hiding trigger-based injection vectors via code reuse.

Pietro Borrello, Emilio Coppa, Daniele Cono D'Elia, Camil Demetrescu

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Static Analysis of ROP Code.

Daniele Cono D'Elia, Emilio Coppa, Andrea Salvati, Camil Demetrescu

Proceedings of the 12th European Workshop on Systems Security, 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

SoK: Using Dynamic Binary Instrumentation for Security (And How You May Get Caught Red Handed).

Daniele Cono D'Elia, Emilio Coppa, Simone Nicchi, Federico Palmaro, Lorenzo Cavallaro

Proceedings of the 2019 ACM Asia Conference on Computer and Communications Security, 2019

2018

A Survey of Symbolic Execution Techniques.

Roberto Baldoni, Emilio Coppa, Daniele Cono D'Elia, Camil Demetrescu, Irene Finocchi

ACM Comput. Surv., 2018

ROPMate: Visually Assisting the Creation of ROP-based Exploits.

Marco Angelini, Graziano Blasilli, Pietro Borrello, Emilio Coppa, Daniele Cono D'Elia, Serena Ferracci, Simone Lenti, Giuseppe Santucci

Proceedings of the 15th IEEE Symposium on Visualization for Cyber Security, 2018

On-stack replacement, distilled.

Daniele Cono D'Elia, Camil Demetrescu

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2017

New techniques for adaptive program optimization.

Daniele Cono D'Elia

PhD thesis, 2017

On-Stack Replacement à la Carte.

Daniele Cono D'Elia, Camil Demetrescu

CoRR, 2017

Rethinking pointer reasoning in symbolic execution.

Emilio Coppa, Daniele Cono D'Elia, Camil Demetrescu

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Assisting Malware Analysis with Symbolic Execution: A Case Study.

Roberto Baldoni, Emilio Coppa, Daniele Cono D'Elia, Camil Demetrescu

Proceedings of the Cyber Security Cryptography and Machine Learning, 2017

2016

Mining hot calling contexts in small space.

Daniele Cono D'Elia, Camil Demetrescu, Irene Finocchi

Softw. Pract. Exp., 2016

Flexible on-stack replacement in LLVM.

Daniele Cono D'Elia, Camil Demetrescu

Proceedings of the 2016 International Symposium on Code Generation and Optimization, 2016

2013

Ball-Larus Path Profiling Across Multiple Loop iterations

Daniele Cono D'Elia, Camil Demetrescu, Irene Finocchi

CoRR, 2013

Ball-Larus path profiling across multiple loop iterations.

Daniele Cono D'Elia, Camil Demetrescu

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013