D'ELIA, DANIELE CONO
D'ELIA, DANIELE CONO
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
Assisting malware analysis with symbolic execution: A case study
2017 Baldoni, Roberto; Coppa, Emilio; D’Elia, Daniele Cono; Demetrescu, Camil
Ball-larus path profiling across multiple loop iterations
2013 D'Elia, DANIELE CONO; Demetrescu, Camil
BluePill: Neutralizing Anti-Analysis Behavior in Malware Dissection
2019 D'Elia, DANIELE CONO
Constantine: automatic side-channel resistance using efficient control and data flow linearization
2021 Borrello, P.; D'Elia, D. C.; Querzoni, L.; Giuffrida, C.
Designing Robust API Monitoring Solutions
2023 D'Elia, Daniele Cono; Nicchi, Simone; Mariani, Matteo; Marini, Matteo; Palmaro, Federico
Evaluating Dynamic Binary Instrumentation Systems for Conspicuous Features and Artifacts
2022 D’Elia, Daniele Cono; Invidia, Lorenzo; Palmaro, Federico; Querzoni, Leonardo
Flexible On-Stack Replacement in LLVM
2016 D'Elia, DANIELE CONO; Demetrescu, Camil
Flexible on-stack replacement in LLVM (artifact)
2016 D'Elia, DANIELE CONO; Demetrescu, Camil
Fuzzing Binaries for Memory Safety Errors with QASan
2020 Fioraldi, A.; Delia, D. C.; Querzoni, L.
Hiding in the particles: when return-oriented programming meets program obfuscation
2021 Borrello, Pietro; Coppa, Emilio; D'Elia, DANIELE CONO
k-BLPP - Ball-Larus path profiling across multiple loop iterations
2014 D'Elia, DANIELE CONO; 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
Mining Hot Calling Contexts in Small Space
2016 D'Elia, DANIELE CONO; Demetrescu, Camil; Finocchi, Irene
Mining Hot Calling Contexts in Small Space
2011 D'Elia, DANIELE CONO; Demetrescu, Camil; Finocchi, Irene
My Ticks Don't Lie: New Timing Attacks for Hypervisor Detection
2020 D'Elia, DANIELE CONO
New techniques for adaptive program optimization
2016 D'Elia, DANIELE CONO
On the Dissection of Evasive Malware
2020 D'Elia, D. C.; Coppa, E.; Palmaro, F.; Cavallaro, L.
On-stack replacement, distilled
2018 D'Elia, Daniele Cono; Demetrescu, Camil
Predictive Context-sensitive Fuzzing
2024 Borrello, Pietro; Fioraldi, Andrea; D'Elia, DANIELE CONO; Balzarotti, Davide; Querzoni, Leonardo; Giuffrida, Cristiano
| 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 | |
| Assisting malware analysis with symbolic execution: A case study | 2017 | Baldoni, Roberto; Coppa, Emilio; D’Elia, Daniele Cono; Demetrescu, Camil | |
| Ball-larus path profiling across multiple loop iterations | 2013 | D'Elia, DANIELE CONO; Demetrescu, Camil | |
| BluePill: Neutralizing Anti-Analysis Behavior in Malware Dissection | 2019 | D'Elia, DANIELE CONO | |
| Constantine: automatic side-channel resistance using efficient control and data flow linearization | 2021 | Borrello, P.; D'Elia, D. C.; Querzoni, L.; Giuffrida, C. | |
| Designing Robust API Monitoring Solutions | 2023 | D'Elia, Daniele Cono; Nicchi, Simone; Mariani, Matteo; Marini, Matteo; Palmaro, Federico | |
| Evaluating Dynamic Binary Instrumentation Systems for Conspicuous Features and Artifacts | 2022 | D’Elia, Daniele Cono; Invidia, Lorenzo; Palmaro, Federico; Querzoni, Leonardo | |
| Flexible On-Stack Replacement in LLVM | 2016 | D'Elia, DANIELE CONO; Demetrescu, Camil | |
| Flexible on-stack replacement in LLVM (artifact) | 2016 | D'Elia, DANIELE CONO; Demetrescu, Camil | |
| Fuzzing Binaries for Memory Safety Errors with QASan | 2020 | Fioraldi, A.; Delia, D. C.; Querzoni, L. | |
| Hiding in the particles: when return-oriented programming meets program obfuscation | 2021 | Borrello, Pietro; Coppa, Emilio; D'Elia, DANIELE CONO | |
| k-BLPP - Ball-Larus path profiling across multiple loop iterations | 2014 | D'Elia, DANIELE CONO; 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 | |
| Mining Hot Calling Contexts in Small Space | 2016 | D'Elia, DANIELE CONO; Demetrescu, Camil; Finocchi, Irene | |
| Mining Hot Calling Contexts in Small Space | 2011 | D'Elia, DANIELE CONO; Demetrescu, Camil; Finocchi, Irene | |
| My Ticks Don't Lie: New Timing Attacks for Hypervisor Detection | 2020 | D'Elia, DANIELE CONO | |
| New techniques for adaptive program optimization | 2016 | D'Elia, DANIELE CONO | |
| On the Dissection of Evasive Malware | 2020 | D'Elia, D. C.; Coppa, E.; Palmaro, F.; Cavallaro, L. | |
| On-stack replacement, distilled | 2018 | D'Elia, Daniele Cono; Demetrescu, Camil | |
| Predictive Context-sensitive Fuzzing | 2024 | Borrello, Pietro; Fioraldi, Andrea; D'Elia, DANIELE CONO; Balzarotti, Davide; Querzoni, Leonardo; Giuffrida, Cristiano |