Pubblicazioni

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.

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