Home » Users » Daniele Cono Delia

Daniele Cono Delia

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
SoK: Using Dynamic Binary Instrumentation for Security (And How You May Get Caught Red Handed) on AsiaCCS '19 Proceedings of the 2019 ACM Asia Conference on Computer and Communications Security 2019
Static analysis of ROP code on EuroSec '19 Proceedings of the 12th European Workshop on Systems Security 2019
SymNav: Visually Assisting Symbolic Execution on Proceedings of the 16th IEEE Symposium on Visualization for Cyber Security (VizSec 2019) 2019
The ROP needle: Hiding trigger-based injection vectors via code reuse on SAC '19 Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing 2019
A Survey of Symbolic Execution Techniques on ACM COMPUTING SURVEYS 2018

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