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
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
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
2014 Coppa, Emilio; Demetrescu, Camil; Finocchi, Irene
Input-sensitive profiling
2012 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; 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
Reach Me if You Can: On Native Vulnerability Reachability in Android Apps
2022 Borzacchiello, L.; Coppa, Emilio; Maiorca, D.; Columbu, A.; Demetrescu, C.; Giacinto, G.
Reconstructing C2 Servers for Remote Access Trojans with Symbolic Execution
2019 Borzacchiello, Luca; Coppa, Emilio; D'Elia, Daniele Cono; Demetrescu, Camil
| 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 | |
| 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 | |
| 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 | 2014 | Coppa, Emilio; Demetrescu, Camil; Finocchi, Irene | |
| Input-sensitive profiling | 2012 | 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; 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 | |
| Reach Me if You Can: On Native Vulnerability Reachability in Android Apps | 2022 | Borzacchiello, L.; Coppa, Emilio; Maiorca, D.; Columbu, A.; Demetrescu, C.; Giacinto, G. | |
| Reconstructing C2 Servers for Remote Access Trojans with Symbolic Execution | 2019 | Borzacchiello, Luca; Coppa, Emilio; D'Elia, Daniele Cono; Demetrescu, Camil |