Emilio Coppa

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 30

Top Topics

Interactive Visualization

Connectionist Learning

Test Data Generation

Static Analysis

Top Venues

Publications

Emilio Coppa, Sebastian Schrittwieser
Editorial: Special issue on ARES 2022. Comput. Secur. 138 (2024)
Emilio Coppa, Alessio Izzillo
Testing concolic execution through consistency checks. J. Syst. Softw. 211 (2024)
Claudia Ruggiero, Pietro Mazzini, Emilio Coppa, Simone Lenti, Silvia Bonomi
SoK: A Unified Data Model for Smart Contract Vulnerability Taxonomies. ARES (2024)
Emilio Coppa, Alessio Izzillo, Riccardo Lazzeretti, Simone Lenti
FuzzPlanner: Visually Assisting the Design of Firmware Fuzzing Campaigns. VizSec (2023)
Silvia Bonomi, Stefano Cappai, Emilio Coppa
On the Efficacy of Smart Contract Analysis Tools. ISSREW (2023)
Marcel Blöcher, Emilio Coppa, Pascal Kleber, Patrick Eugster, William Culhane, Masoud Saeida Ardekani
ROME: All Overlays Lead to Aggregation, but Some Are Faster than Others. ACM Trans. Comput. Syst. 39 (2022)
Luca Borzacchiello, Emilio Coppa, Camil Demetrescu
Handling Memory-Intensive Operations in Symbolic Execution. ISEC (2022)
Emilio Coppa, Heng Yin, Camil Demetrescu
SymFusion: Hybrid Instrumentation for Concolic Execution. ASE (2022)
Luca Borzacchiello, Emilio Coppa, Camil Demetrescu
SENinja: A symbolic execution plugin for Binary Ninja. SoftwareX 20 (2022)
Luca Borzacchiello, Emilio Coppa, Davide Maiorca, Andrea Columbu, Camil Demetrescu, Giorgio Giacinto
Reach Me if You Can: On Native Vulnerability Reachability in Android Apps. ESORICS (3) (2022)
Luca Borzacchiello, Emilio Coppa, Camil Demetrescu
Fuzzing Symbolic Expressions. CoRR (2021)
Luca Borzacchiello, Emilio Coppa, Camil Demetrescu
Fuzzing Symbolic Expressions. ICSE (2021)
Luca Borzacchiello, Emilio Coppa, Camil Demetrescu
FUZZOLIC: Mixing fuzzing and concolic execution. Comput. Secur. 108 (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)
Pietro Borrello, Emilio Coppa, Daniele Cono D'Elia
Hiding in the Particles: When Return-Oriented Programming Meets Program Obfuscation. 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)
Emilio Coppa, Irene Finocchi, Renan Leon Garcia
Counting cliques in parallel without a cluster: Engineering a fork/join algorithm for shared-memory platforms. Inf. Sci. 496 (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)
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)
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)
Emilio Coppa
An interactive visualization framework for performance analysis. EAI Endorsed Trans. Ubiquitous Environ. 2 (7) (2015)
Emilio Coppa, Irene Finocchi
On data skewness, stragglers, and MapReduce progress indicators. SoCC (2015)
Emilio Coppa, Irene Finocchi
On data skewness, stragglers, and MapReduce progress indicators. CoRR (2015)
Emilio Coppa, Camil Demetrescu, Irene Finocchi, Romolo Marotta
Estimating the Empirical Cost Function of Routines with Dynamic Workloads. CGO (2014)
Emilio Coppa, Camil Demetrescu, Irene Finocchi
Input-Sensitive Profiling. IEEE Trans. Software Eng. 40 (12) (2014)
Emilio Coppa, Camil Demetrescu, Irene Finocchi, Romolo Marotta
Multithreaded Input-Sensitive Profiling CoRR (2013)
Emilio Coppa, Camil Demetrescu, Irene Finocchi
Input-sensitive profiling. PLDI (2012)