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
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, E.; Demetrescu, C.
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
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; 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.
Reach Me if You Can: On Native Vulnerability Reachability in Android Apps
2022 Borzacchiello, L.; Coppa, E.; 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
Rethinking Pointer Reasoning in Symbolic Execution
2017 Coppa, Emilio; D'Elia, Daniele Cono; Demetrescu, Camil
ROME: All Overlays Lead to Aggregation, but Some Are Faster than Others
2022 Blocher, M.; Coppa, E.; Kleber, P.; Eugster, P.; Culhane, W.; Ardekani, M. S.
SENinja: A symbolic execution plugin for Binary Ninja
2022 Borzacchiello, L.; Coppa, E.; Demetrescu, C.
| 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 | |
| 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, E.; Demetrescu, C. | |
| 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 | 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; 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. | |
| Reach Me if You Can: On Native Vulnerability Reachability in Android Apps | 2022 | Borzacchiello, L.; Coppa, E.; 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 | |
| Rethinking Pointer Reasoning in Symbolic Execution | 2017 | Coppa, Emilio; D'Elia, Daniele Cono; Demetrescu, Camil | |
| ROME: All Overlays Lead to Aggregation, but Some Are Faster than Others | 2022 | Blocher, M.; Coppa, E.; Kleber, P.; Eugster, P.; Culhane, W.; Ardekani, M. S. | |
| SENinja: A symbolic execution plugin for Binary Ninja | 2022 | Borzacchiello, L.; Coppa, E.; Demetrescu, C. |