BORZACCHIELLO, LUCA
BORZACCHIELLO, LUCA
DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-
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
Memory Models in Symbolic Execution: Key Ideas and New Thoughts
2019 Borzacchiello, Luca; Coppa, Emilio; D'Elia, DANIELE CONO; Demetrescu, Camil
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
SENinja: A symbolic execution plugin for Binary Ninja
2022 Borzacchiello, L.; Coppa, E.; Demetrescu, C.
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
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 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 | |
| Memory Models in Symbolic Execution: Key Ideas and New Thoughts | 2019 | Borzacchiello, Luca; Coppa, Emilio; D'Elia, DANIELE CONO; Demetrescu, Camil | |
| 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 | |
| SENinja: A symbolic execution plugin for Binary Ninja | 2022 | Borzacchiello, L.; Coppa, E.; Demetrescu, C. | |
| 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 |