Home » Users » Luca Borzacchiello

Luca Borzacchiello

Membro di

Ultime pubblicazioni

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

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma