Luca Borzacchiello
Membro di
Awards
2022 | ISEC 2022 Best Paper |
Ultime pubblicazioni
Handling Memory-Intensive Operations in Symbolic Execution in ISEC 2022: 15th Innovations in Software Engineering Conference | 2022 |
Reach Me if You Can: On Native Vulnerability Reachability in Android Apps in 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 in SOFTWAREX | 2022 |
Fuzzing Symbolic Expressions in 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) | 2021 |
FUZZOLIC: Mixing fuzzing and concolic execution in COMPUTERS & SECURITY | 2021 |