Pubblicazioni

Testing concolic execution through consistency checks

2024 - THE JOURNAL OF SYSTEMS AND SOFTWARE
Coppa, E.; Izzillo, A.

Handling Memory-Intensive Operations in Symbolic Execution

2022 - ISEC 2022: 15th Innovations in Software Engineering Conference
Borzacchiello, Luca; Coppa, Emilio; Demetrescu, Camil

SENinja: A symbolic execution plugin for Binary Ninja

2022 - SOFTWAREX
Borzacchiello, L.; Coppa, E.; Demetrescu, C.

Reconstructing C2 Servers for Remote Access Trojans with Symbolic Execution

2019 - Cyber Security Cryptography and Machine Learning
Borzacchiello, Luca; Coppa, Emilio; D'Elia, Daniele Cono; Demetrescu, Camil

A Survey of Symbolic Execution Techniques

2018 - ACM COMPUTING SURVEYS
Baldoni, Roberto; Coppa, Emilio; D'Elia, Daniele Cono; Demetrescu, Camil; Finocchi, Irene

Rethinking Pointer Reasoning in Symbolic Execution

2017 - ASE 2017 - Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering
Coppa, Emilio; D'Elia, Daniele Cono; Demetrescu, Camil

Assisting malware analysis with symbolic execution: A case study

2017 - Cyber Security Cryptographyand Machine Learning
Baldoni, Roberto; Coppa, Emilio; D’Elia, Daniele Cono; Demetrescu, Camil

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma