Luca Borzacchiello
Membro di
Ultime pubblicazioni
| Fuzzing Symbolic Expressions on 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) | 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 |
| SymNav: Visually Assisting Symbolic Execution on Proceedings of the 16th IEEE Symposium on Visualization for Cyber Security (VizSec 2019) | 2019 |