Emilio Coppa

According to our database, Emilio Coppa authored at least 33 papers between 2013 and 2024.

Collaborative distances:

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

2024

Editorial: Special issue on ARES 2022.

Emilio Coppa, Sebastian Schrittwieser

Comput. Secur., March, 2024

Testing concolic execution through consistency checks.

Emilio Coppa, Alessio Izzillo

J. Syst. Softw., 2024

Do You Trust Your Device? Open Challenges in IoT Security Analysis.

Lorenzo Binosi, Pietro Mazzini, Alessandro Sanna, Michele Carminati, Giorgio Giacinto, Riccardo Lazzeretti, Stefano Zanero, Mario Polino, Emilio Coppa, Davide Maiorca

Proceedings of the 21st International Conference on Security and Cryptography, 2024

Evaluating the Vulnerability Detection Efficacy of Smart Contracts Analysis Tools.

Silvia Bonomi, Stefano Cappai, Emilio Coppa

Proceedings of the Computer Safety, Reliability, and Security, 2024

SoK: A Unified Data Model for Smart Contract Vulnerability Taxonomies.

Claudia Ruggiero, Pietro Mazzini, Emilio Coppa, Simone Lenti, Silvia Bonomi

Proceedings of the 19th International Conference on Availability, Reliability and Security, 2024

2023

FuzzPlanner: Visually Assisting the Design of Firmware Fuzzing Campaigns.

Emilio Coppa, Alessio Izzillo, Riccardo Lazzeretti, Simone Lenti

Proceedings of the IEEE Symposium on Visualization for Cyber Security, 2023

On the Efficacy of Smart Contract Analysis Tools.

Silvia Bonomi, Stefano Cappai, Emilio Coppa

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, 2023

2022

SENinja: A symbolic execution plugin for Binary Ninja.

Luca Borzacchiello, Emilio Coppa, Camil Demetrescu

SoftwareX, December, 2022

SymFusion: Hybrid Instrumentation for Concolic Execution.

Emilio Coppa, Heng Yin, Camil Demetrescu

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

Handling Memory-Intensive Operations in Symbolic Execution.

Luca Borzacchiello, Emilio Coppa, Camil Demetrescu

Proceedings of the ISEC 2022: 15th Innovations in Software Engineering Conference, Gandhinagar, India, February 24, 2022

Reach Me if You Can: On Native Vulnerability Reachability in Android Apps.

Luca Borzacchiello, Emilio Coppa, Davide Maiorca, Andrea Columbu, Camil Demetrescu, Giorgio Giacinto

Proceedings of the Computer Security - ESORICS 2022, 2022

2021

ROME: All Overlays Lead to Aggregation, but Some Are Faster than Others.

Marcel Blöcher, Emilio Coppa, Pascal Kleber, Patrick Eugster, William Culhane, Masoud Saeida Ardekani

ACM Trans. Comput. Syst., 2021

FUZZOLIC: Mixing fuzzing and concolic execution.

Luca Borzacchiello, Emilio Coppa, Camil Demetrescu

Comput. Secur., 2021

Fuzzing Symbolic Expressions.

Luca Borzacchiello, Emilio Coppa, Camil Demetrescu

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 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

2020

On the Dissection of Evasive Malware.

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

IEEE Trans. Inf. Forensics Secur., 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

Counting cliques in parallel without a cluster: Engineering a fork/join algorithm for shared-memory platforms.

Emilio Coppa, Irene Finocchi, Renan Leon Garcia

Inf. Sci., 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

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

2015

An interactive visualization framework for performance analysis.

Emilio Coppa

EAI Endorsed Trans. Ubiquitous Environ., 2015

On data skewness, stragglers, and MapReduce progress indicators.

Emilio Coppa, Irene Finocchi

Proceedings of the Sixth ACM Symposium on Cloud Computing, 2015

2014

Input-Sensitive Profiling.

Emilio Coppa, Camil Demetrescu, Irene Finocchi

IEEE Trans. Software Eng., 2014

Estimating the Empirical Cost Function of Routines with Dynamic Workloads.

Emilio Coppa, Camil Demetrescu, Irene Finocchi, Romolo Marotta

Proceedings of the 12th Annual IEEE/ACM International Symposium on Code Generation and Optimization, 2014

2013

Multithreaded Input-Sensitive Profiling

Emilio Coppa, Camil Demetrescu, Irene Finocchi, Romolo Marotta

CoRR, 2013