COPPA, EMILIO
COPPA, EMILIO
DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-
A Survey of Symbolic Execution Techniques
2018 Baldoni, Roberto; Coppa, Emilio; D'Elia, Daniele Cono; Demetrescu, Camil; Finocchi, Irene
An interactive visualization framework for performance analysis
2014 Coppa, Emilio
Assisting malware analysis with symbolic execution: A case study
2017 Baldoni, Roberto; Coppa, Emilio; D’Elia, Daniele Cono; Demetrescu, Camil
Counting cliques in parallel without a cluster: engineering a fork/join algorithm for shared-memory platforms
2019 Coppa, Emilio; Finocchi, Irene; LEON GARCIA, Renan
Do you Trust your Device? Open Challenges in IoT Security Analysis
2024 Binosi, Lorenzo; Mazzini, Pietro; Sanna, Alessandro; Carminati, Michele; Giacinto, Giorgio; Lazzeretti, Riccardo; Zanero, Stefano; Polino, Mario; Coppa, Emilio; Maiorca, Davide
DroidReach++: Exploring the reachability of native code in android applications
2025 Borzacchiello, Luca; Cornacchia, Matteo; Maiorca, Davide; Giacinto, Giorgio; Coppa, Emilio
Estimating the empirical cost function of routines with dynamic workloads
2014 Coppa, Emilio; Demetrescu, Camil; Finocchi, Irene; Marotta, Romolo
Evaluating the Vulnerability Detection Efficacy of Smart Contracts Analysis Tools
2024 Bonomi, Silvia; Cappai, Stefano; Coppa, Emilio
Fuzzing Symbolic Expressions
2021 Borzacchiello, Luca; Coppa, Emilio; Demetrescu, Camil
FUZZOLIC: Mixing fuzzing and concolic execution
2021 Borzacchiello, L.; Coppa, E.; Demetrescu, C.
FuzzPlanner: Visually Assisting the Design of Firmware Fuzzing Campaigns
2023 Coppa, Emilio; Izzillo, Alessio; Lazzeretti, Riccardo; Lenti, Simone
Handling Memory-Intensive Operations in Symbolic Execution
2022 Borzacchiello, Luca; Coppa, Emilio; Demetrescu, Camil
Hiding in the particles: when return-oriented programming meets program obfuscation
2021 Borrello, Pietro; Coppa, Emilio; D'Elia, DANIELE CONO
Input-sensitive profiling
2012 Coppa, Emilio; Demetrescu, Camil; Finocchi, Irene
Input-Sensitive Profiling
2014 Coppa, Emilio; Demetrescu, Camil; Finocchi, Irene
Input-sensitive profiling
2012 Coppa, Emilio; Demetrescu, Camil; Finocchi, Irene
Memory Models in Symbolic Execution: Key Ideas and New Thoughts
2019 Borzacchiello, Luca; Coppa, Emilio; D'Elia, DANIELE CONO; Demetrescu, Camil
On data skewness, stragglers, and MapReduce progress indicators
2015 Coppa, Emilio; Finocchi, Irene
On the Dissection of Evasive Malware
2020 D'Elia, D. C.; Coppa, E.; Palmaro, F.; Cavallaro, L.
Position Paper: Toward a (Semi-)Automatic Framework for Smart Contract Security Audit
2025 Bonomi, Silvia; Coppa, Emilio; Lenti, Simone; Ruggiero, Claudia
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Survey of Symbolic Execution Techniques | 2018 | Baldoni, Roberto; Coppa, Emilio; D'Elia, Daniele Cono; Demetrescu, Camil; Finocchi, Irene | |
| An interactive visualization framework for performance analysis | 2014 | Coppa, Emilio | |
| Assisting malware analysis with symbolic execution: A case study | 2017 | Baldoni, Roberto; Coppa, Emilio; D’Elia, Daniele Cono; Demetrescu, Camil | |
| Counting cliques in parallel without a cluster: engineering a fork/join algorithm for shared-memory platforms | 2019 | Coppa, Emilio; Finocchi, Irene; LEON GARCIA, Renan | |
| Do you Trust your Device? Open Challenges in IoT Security Analysis | 2024 | Binosi, Lorenzo; Mazzini, Pietro; Sanna, Alessandro; Carminati, Michele; Giacinto, Giorgio; Lazzeretti, Riccardo; Zanero, Stefano; Polino, Mario; Coppa, Emilio; Maiorca, Davide | |
| DroidReach++: Exploring the reachability of native code in android applications | 2025 | Borzacchiello, Luca; Cornacchia, Matteo; Maiorca, Davide; Giacinto, Giorgio; Coppa, Emilio | |
| Estimating the empirical cost function of routines with dynamic workloads | 2014 | Coppa, Emilio; Demetrescu, Camil; Finocchi, Irene; Marotta, Romolo | |
| Evaluating the Vulnerability Detection Efficacy of Smart Contracts Analysis Tools | 2024 | Bonomi, Silvia; Cappai, Stefano; Coppa, Emilio | |
| Fuzzing Symbolic Expressions | 2021 | Borzacchiello, Luca; Coppa, Emilio; Demetrescu, Camil | |
| FUZZOLIC: Mixing fuzzing and concolic execution | 2021 | Borzacchiello, L.; Coppa, E.; Demetrescu, C. | |
| FuzzPlanner: Visually Assisting the Design of Firmware Fuzzing Campaigns | 2023 | Coppa, Emilio; Izzillo, Alessio; Lazzeretti, Riccardo; Lenti, Simone | |
| Handling Memory-Intensive Operations in Symbolic Execution | 2022 | Borzacchiello, Luca; Coppa, Emilio; Demetrescu, Camil | |
| Hiding in the particles: when return-oriented programming meets program obfuscation | 2021 | Borrello, Pietro; Coppa, Emilio; D'Elia, DANIELE CONO | |
| Input-sensitive profiling | 2012 | Coppa, Emilio; Demetrescu, Camil; Finocchi, Irene | |
| Input-Sensitive Profiling | 2014 | Coppa, Emilio; Demetrescu, Camil; Finocchi, Irene | |
| Input-sensitive profiling | 2012 | Coppa, Emilio; Demetrescu, Camil; Finocchi, Irene | |
| Memory Models in Symbolic Execution: Key Ideas and New Thoughts | 2019 | Borzacchiello, Luca; Coppa, Emilio; D'Elia, DANIELE CONO; Demetrescu, Camil | |
| On data skewness, stragglers, and MapReduce progress indicators | 2015 | Coppa, Emilio; Finocchi, Irene | |
| On the Dissection of Evasive Malware | 2020 | D'Elia, D. C.; Coppa, E.; Palmaro, F.; Cavallaro, L. | |
| Position Paper: Toward a (Semi-)Automatic Framework for Smart Contract Security Audit | 2025 | Bonomi, Silvia; Coppa, Emilio; Lenti, Simone; Ruggiero, Claudia |