Emilio Coppa

43 papers A* 4A 4B 2C 4Misc 2Journal 19Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
DroidReach++: Exploring the reachability of native code in android applications.
Comput. Secur.
Luca Borzacchiello, Matteo Cornacchia, Davide Maiorca, Giorgio Giacinto, Emilio Coppa
2025 — conf
Hybrid Fuzzing of Infrastructure as Code Programs (Short Paper).
ISSTA Companion
Emilio Coppa, Daniel Sokolowski, Guido Salvaneschi
2025 Misc conf
Position Paper: Toward a (Semi-)Automatic Framework for Smart Contract Security Audit.
EDCC
Silvia Bonomi, Emilio Coppa, Simone Lenti, Claudia Ruggiero
2025 J jnl
STAFF: Stateful Taint-Assisted Full-system Firmware Fuzzing.
CoRR
Alessio Izzillo, Riccardo Lazzeretti, Emilio Coppa
2024 C conf
Do You Trust Your Device? Open Challenges in IoT Security Analysis.
SECRYPT
Lorenzo Binosi, Pietro Mazzini, Alessandro Sanna, Michele Carminati, Giorgio Giacinto, Riccardo Lazzeretti, Stefano Zanero, Mario Polino, Emilio Coppa, Davide Maiorca
2024 J jnl
Editorial: Special issue on ARES 2022.
Comput. Secur.
Emilio Coppa, Sebastian Schrittwieser
2024 B conf
Evaluating the Vulnerability Detection Efficacy of Smart Contracts Analysis Tools.
SAFECOMP
Silvia Bonomi, Stefano Cappai, Emilio Coppa
2024 B conf
SoK: A Unified Data Model for Smart Contract Vulnerability Taxonomies.
ARES
Claudia Ruggiero, Pietro Mazzini, Emilio Coppa, Simone Lenti, Silvia Bonomi
2024 J jnl
Testing concolic execution through consistency checks.
J. Syst. Softw.
Emilio Coppa, Alessio Izzillo
2023 C conf
FuzzPlanner: Visually Assisting the Design of Firmware Fuzzing Campaigns.
VizSec
Emilio Coppa, Alessio Izzillo, Riccardo Lazzeretti, Simone Lenti
2023 — conf
On the Efficacy of Smart Contract Analysis Tools.
ISSREW
Silvia Bonomi, Stefano Cappai, Emilio Coppa
2022 — conf
Handling Memory-Intensive Operations in Symbolic Execution.
ISEC
Luca Borzacchiello, Emilio Coppa, Camil Demetrescu
2022 — conf
Reach Me if You Can: On Native Vulnerability Reachability in Android Apps.
ESORICS (3)
Luca Borzacchiello, Emilio Coppa, Davide Maiorca, Andrea Columbu, Camil Demetrescu, Giorgio Giacinto
2022 J jnl
SENinja: A symbolic execution plugin for Binary Ninja.
SoftwareX
Luca Borzacchiello, Emilio Coppa, Camil Demetrescu
2022 A* conf
SymFusion: Hybrid Instrumentation for Concolic Execution.
ASE
Emilio Coppa, Heng Yin, Camil Demetrescu
2021 J jnl
FUZZOLIC: Mixing fuzzing and concolic execution.
Comput. Secur.
Luca Borzacchiello, Emilio Coppa, Camil Demetrescu
2021 A* conf
Fuzzing Symbolic Expressions.
ICSE
Luca Borzacchiello, Emilio Coppa, Camil Demetrescu
2021 J jnl
Fuzzing Symbolic Expressions.
CoRR
Luca Borzacchiello, Emilio Coppa, Camil Demetrescu
2021 A conf
Hiding in the Particles: When Return-Oriented Programming Meets Program Obfuscation.
DSN
Pietro Borrello, Emilio Coppa, Daniele Cono D'Elia
2021 J jnl
ROME: All Overlays Lead to Aggregation, but Some Are Faster than Others.
ACM Trans. Comput. Syst.
Marcel Blöcher, Emilio Coppa, Pascal Kleber, Patrick Eugster, William Culhane, Masoud Saeida Ardekani
2020 J jnl
Hiding in the Particles: When Return-Oriented Programming Meets Program Obfuscation.
CoRR
Pietro Borrello, Emilio Coppa, Daniele Cono D'Elia
2020 J jnl
On the Dissection of Evasive Malware.
IEEE Trans. Inf. Forensics Secur.
Daniele Cono D'Elia, Emilio Coppa, Federico Palmaro, Lorenzo Cavallaro
2020 A conf
WEIZZ: automatic grey-box fuzzing for structured binary formats.
ISSTA
Andrea Fioraldi, Daniele Cono D'Elia, Emilio Coppa
2019 J jnl
Counting cliques in parallel without a cluster: Engineering a fork/join algorithm for shared-memory platforms.
Inf. Sci.
Emilio Coppa, Irene Finocchi, Renan Leon Garcia
2019 J jnl
Memory models in symbolic execution: key ideas and new thoughts.
Softw. Test. Verification Reliab.
Luca Borzacchiello, Emilio Coppa, Daniele Cono D'Elia, Camil Demetrescu
2019 — conf
Reconstructing C2 Servers for Remote Access Trojans with Symbolic Execution.
CSCML
Luca Borzacchiello, Emilio Coppa, Daniele Cono D'Elia, Camil Demetrescu
2019 A conf
SoK: Using Dynamic Binary Instrumentation for Security (And How You May Get Caught Red Handed).
AsiaCCS
Daniele Cono D'Elia, Emilio Coppa, Simone Nicchi, Federico Palmaro, Lorenzo Cavallaro
2019 — conf
Static Analysis of ROP Code.
EuroSec@EuroSys
Daniele Cono D'Elia, Emilio Coppa, Andrea Salvati, Camil Demetrescu
2019 C conf
SymNav: Visually Assisting Symbolic Execution.
VizSEC
Marco Angelini, Graziano Blasilli, Luca Borzacchiello, Emilio Coppa, Daniele Cono D'Elia, Camil Demetrescu, Simone Lenti, Simone Nicchi, Giuseppe Santucci
2019 Misc conf
The ROP needle: hiding trigger-based injection vectors via code reuse.
SAC
Pietro Borrello, Emilio Coppa, Daniele Cono D'Elia, Camil Demetrescu
2019 J jnl
WEIZZ: Automatic Grey-box Fuzzing for Structured Binary Formats.
CoRR
Andrea Fioraldi, Daniele Cono D'Elia, Emilio Coppa
2018 J jnl
A Survey of Symbolic Execution Techniques.
ACM Comput. Surv.
Roberto Baldoni, Emilio Coppa, Daniele Cono D'Elia, Camil Demetrescu, Irene Finocchi
2018 C conf
ROPMate: Visually Assisting the Creation of ROP-based Exploits.
VizSEC
Marco Angelini, Graziano Blasilli, Pietro Borrello, Emilio Coppa, Daniele Cono D'Elia, Serena Ferracci, Simone Lenti, Giuseppe Santucci
2017 — conf
Assisting Malware Analysis with Symbolic Execution: A Case Study.
CSCML
Roberto Baldoni, Emilio Coppa, Daniele Cono D'Elia, Camil Demetrescu
2017 A* conf
Rethinking pointer reasoning in symbolic execution.
ASE
Emilio Coppa, Daniele Cono D'Elia, Camil Demetrescu
2016 J jnl
A Survey of Symbolic Execution Techniques.
CoRR
Roberto Baldoni, Emilio Coppa, Daniele Cono D'Elia, Camil Demetrescu, Irene Finocchi
2015 J jnl
An interactive visualization framework for performance analysis.
EAI Endorsed Trans. Ubiquitous Environ.
Emilio Coppa
2015 — conf
On data skewness, stragglers, and MapReduce progress indicators.
SoCC
Emilio Coppa, Irene Finocchi
2015 J jnl
On data skewness, stragglers, and MapReduce progress indicators.
CoRR
Emilio Coppa, Irene Finocchi
2014 A conf
Estimating the Empirical Cost Function of Routines with Dynamic Workloads.
CGO
Emilio Coppa, Camil Demetrescu, Irene Finocchi, Romolo Marotta
2014 J jnl
Input-Sensitive Profiling.
IEEE Trans. Software Eng.
Emilio Coppa, Camil Demetrescu, Irene Finocchi
2013 J jnl
Multithreaded Input-Sensitive Profiling
CoRR
Emilio Coppa, Camil Demetrescu, Irene Finocchi, Romolo Marotta
2012 A* conf
Input-sensitive profiling.
PLDI
Emilio Coppa, Camil Demetrescu, Irene Finocchi