Home » Users » Luca Borzacchiello

Luca Borzacchiello

Membro di

Ultime pubblicazioni

Handling Memory-Intensive Operations in Symbolic Execution on ISEC 2022: 15th Innovations in Software Engineering Conference 2022
Reach Me if You Can: On Native Vulnerability Reachability in Android Apps on Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2022
SENinja: A symbolic execution plugin for Binary Ninja on SOFTWAREX 2022
Fuzzing Symbolic Expressions on 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) 2021
FUZZOLIC: Mixing fuzzing and concolic execution on COMPUTERS & SECURITY 2021
Memory Models in Symbolic Execution: Key Ideas and New Thoughts on SOFTWARE TESTING, VERIFICATION & RELIABILITY 2019
Reconstructing C2 Servers for Remote Access Trojans with Symbolic Execution on Cyber Security Cryptography and Machine Learning 2019
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma