Pubblicazioni

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