FUZZOLIC: Mixing fuzzing and concolic execution L Borzacchiello, E Coppa, C Demetrescu Computers & Security 108, 102368, 2021 | 40 | 2021 |
Fuzzing symbolic expressions L Borzacchiello, E Coppa, C Demetrescu 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021 | 27 | 2021 |
Memory models in symbolic execution: key ideas and new thoughts L Borzacchiello, E Coppa, D Cono D'Elia, C Demetrescu Software Testing, Verification and Reliability 29 (8), e1722, 2019 | 26 | 2019 |
SymNav: Visually assisting symbolic execution M Angelini, G Blasilli, L Borzacchiello, E Coppa, DC D’Elia, C Demetrescu, ... 2019 IEEE Symposium on Visualization for Cyber Security (VizSec), 1-11, 2019 | 19 | 2019 |
Reconstructing C2 servers for remote access trojans with symbolic execution L Borzacchiello, E Coppa, DC D’Elia, C Demetrescu Cyber Security Cryptography and Machine Learning: Third International …, 2019 | 13 | 2019 |
SENinja: A symbolic execution plugin for Binary Ninja L Borzacchiello, E Coppa, C Demetrescu SoftwareX 20, 101219, 2022 | 6 | 2022 |
Handling memory-intensive operations in symbolic execution L Borzacchiello, E Coppa, C Demetrescu Proceedings of the 15th Innovations in Software Engineering Conference, 1-5, 2022 | 5 | 2022 |
Reach me if you can: On native vulnerability reachability in android apps L Borzacchiello, E Coppa, D Maiorca, A Columbu, C Demetrescu, ... European Symposium on Research in Computer Security, 701-722, 2022 | 3 | 2022 |