Sfoglia per Autore
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
Estimating the empirical cost function of routines with dynamic workloads
2014 Coppa, Emilio; Demetrescu, Camil; Finocchi, Irene; Marotta, Romolo
An interactive visualization framework for performance analysis
2014 Coppa, Emilio
On data skewness, stragglers, and MapReduce progress indicators
2015 Coppa, Emilio; Finocchi, Irene
Rethinking Pointer Reasoning in Symbolic Execution
2017 Coppa, Emilio; D'Elia, Daniele Cono; Demetrescu, Camil
Assisting malware analysis with symbolic execution: A case study
2017 Baldoni, Roberto; Coppa, Emilio; D’Elia, Daniele Cono; Demetrescu, Camil
ROPMate: Visually Assisting the Creation of ROP-based Exploits
2018 Angelini, Marco; Blasilli, Graziano; Borrello, Pietro; Coppa, Emilio; D'Elia, DANIELE CONO; Ferracci, Serena; Lenti, Simone; Santucci, Giuseppe
A Survey of Symbolic Execution Techniques
2018 Baldoni, Roberto; Coppa, Emilio; D'Elia, Daniele Cono; Demetrescu, Camil; Finocchi, Irene
Static analysis of ROP code
2019 D'Elia, D. C.; Coppa, E.; Salvati, A.; Demetrescu, C.
The ROP needle: Hiding trigger-based injection vectors via code reuse
2019 Borrello, P.; Coppa, E.; D'Elia, D. C.; 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
SoK: Using Dynamic Binary Instrumentation for Security (And How You May Get Caught Red Handed)
2019 D'Elia, DANIELE CONO; Coppa, Emilio; Nicchi, Simone; Palmaro, Federico; Cavallaro, Lorenzo
Memory Models in Symbolic Execution: Key Ideas and New Thoughts
2019 Borzacchiello, Luca; Coppa, Emilio; D'Elia, DANIELE CONO; Demetrescu, Camil
SymNav: Visually Assisting Symbolic Execution
2019 Angelini, Marco; Blasilli, Graziano; Borzacchiello, Luca; Coppa, Emilio; D'Elia, DANIELE CONO; Demetrescu, Camil; Lenti, Simone; Nicchi, Simone; Santucci, Giuseppe
Reconstructing C2 Servers for Remote Access Trojans with Symbolic Execution
2019 Borzacchiello, Luca; Coppa, Emilio; D'Elia, Daniele Cono; Demetrescu, Camil
WEIZZ: automatic grey-box fuzzing for structured binary formats
2020 Fioraldi, A.; D'Elia, D. C.; Coppa, E.
On the Dissection of Evasive Malware
2020 D'Elia, D. C.; Coppa, E.; Palmaro, F.; Cavallaro, L.
FUZZOLIC: Mixing fuzzing and concolic execution
2021 Borzacchiello, L.; Coppa, E.; Demetrescu, C.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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 | |
Estimating the empirical cost function of routines with dynamic workloads | 2014 | Coppa, Emilio; Demetrescu, Camil; Finocchi, Irene; Marotta, Romolo | |
An interactive visualization framework for performance analysis | 2014 | Coppa, Emilio | |
On data skewness, stragglers, and MapReduce progress indicators | 2015 | Coppa, Emilio; Finocchi, Irene | |
Rethinking Pointer Reasoning in Symbolic Execution | 2017 | Coppa, Emilio; D'Elia, Daniele Cono; Demetrescu, Camil | |
Assisting malware analysis with symbolic execution: A case study | 2017 | Baldoni, Roberto; Coppa, Emilio; D’Elia, Daniele Cono; Demetrescu, Camil | |
ROPMate: Visually Assisting the Creation of ROP-based Exploits | 2018 | Angelini, Marco; Blasilli, Graziano; Borrello, Pietro; Coppa, Emilio; D'Elia, DANIELE CONO; Ferracci, Serena; Lenti, Simone; Santucci, Giuseppe | |
A Survey of Symbolic Execution Techniques | 2018 | Baldoni, Roberto; Coppa, Emilio; D'Elia, Daniele Cono; Demetrescu, Camil; Finocchi, Irene | |
Static analysis of ROP code | 2019 | D'Elia, D. C.; Coppa, E.; Salvati, A.; Demetrescu, C. | |
The ROP needle: Hiding trigger-based injection vectors via code reuse | 2019 | Borrello, P.; Coppa, E.; D'Elia, D. C.; 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 | |
SoK: Using Dynamic Binary Instrumentation for Security (And How You May Get Caught Red Handed) | 2019 | D'Elia, DANIELE CONO; Coppa, Emilio; Nicchi, Simone; Palmaro, Federico; Cavallaro, Lorenzo | |
Memory Models in Symbolic Execution: Key Ideas and New Thoughts | 2019 | Borzacchiello, Luca; Coppa, Emilio; D'Elia, DANIELE CONO; Demetrescu, Camil | |
SymNav: Visually Assisting Symbolic Execution | 2019 | Angelini, Marco; Blasilli, Graziano; Borzacchiello, Luca; Coppa, Emilio; D'Elia, DANIELE CONO; Demetrescu, Camil; Lenti, Simone; Nicchi, Simone; Santucci, Giuseppe | |
Reconstructing C2 Servers for Remote Access Trojans with Symbolic Execution | 2019 | Borzacchiello, Luca; Coppa, Emilio; D'Elia, Daniele Cono; Demetrescu, Camil | |
WEIZZ: automatic grey-box fuzzing for structured binary formats | 2020 | Fioraldi, A.; D'Elia, D. C.; Coppa, E. | |
On the Dissection of Evasive Malware | 2020 | D'Elia, D. C.; Coppa, E.; Palmaro, F.; Cavallaro, L. | |
FUZZOLIC: Mixing fuzzing and concolic execution | 2021 | Borzacchiello, L.; Coppa, E.; Demetrescu, C. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile