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 |