Coppa, Emilio
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, R; Coppa, Emilio; D’Elia, D; Demetrescu, C
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, L.; Mazzini, P.; Sanna, A.; Carminati, M.; Giacinto, G.; Lazzeretti, R.; Zanero, S.; Polino, M.; Coppa, Emilio; Maiorca, D.
Editorial: Special issue on ARES 2022
2024 Coppa, Emilio; Schrittwieser, Sebastian
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, Emilio; 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; Cono D'Elia, Daniele
Input-sensitive profiling
2012 Coppa, Emilio; Demetrescu, Camil; Finocchi, Irene
Input-sensitive profiling
2012 Coppa, Emilio; Demetrescu, Camil; Finocchi, Irene
Input-Sensitive Profiling
2014 Coppa, Emilio; Demetrescu, Camil; Finocchi, Irene
Memory Models in Symbolic Execution: Key Ideas and New Thoughts
2019 Borzacchiello, Luca; Coppa, Emilio; Cono D’Elia, Daniele; 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, Emilio; Palmaro, F.; Cavallaro, L.
On the Efficacy of Smart Contract Analysis Tools
2023 Bonomi, S.; Cappai, S.; Coppa, Emilio
| 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, R; Coppa, Emilio; D’Elia, D; Demetrescu, C | |
| 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, L.; Mazzini, P.; Sanna, A.; Carminati, M.; Giacinto, G.; Lazzeretti, R.; Zanero, S.; Polino, M.; Coppa, Emilio; Maiorca, D. | |
| Editorial: Special issue on ARES 2022 | 2024 | Coppa, Emilio; Schrittwieser, Sebastian | |
| 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, Emilio; 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; Cono D'Elia, Daniele | |
| Input-sensitive profiling | 2012 | Coppa, Emilio; Demetrescu, Camil; Finocchi, Irene | |
| Input-sensitive profiling | 2012 | Coppa, Emilio; Demetrescu, Camil; Finocchi, Irene | |
| Input-Sensitive Profiling | 2014 | Coppa, Emilio; Demetrescu, Camil; Finocchi, Irene | |
| Memory Models in Symbolic Execution: Key Ideas and New Thoughts | 2019 | Borzacchiello, Luca; Coppa, Emilio; Cono D’Elia, Daniele; 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, Emilio; Palmaro, F.; Cavallaro, L. | |
| On the Efficacy of Smart Contract Analysis Tools | 2023 | Bonomi, S.; Cappai, S.; Coppa, Emilio |