COPPA, EMILIO

COPPA, EMILIO  

DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-  

Mostra prodotti
Risultati 1 - 20 di 26 (tempo di esecuzione: 0.026 secondi).
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.