| Titolo | Pubblicato in | Anno |
|---|---|---|
| SymNav: Visually Assisting Symbolic Execution | Proceedings of the 16th IEEE Symposium on Visualization for Cyber Security (VizSec 2019) | 2019 |
| A Survey of Symbolic Execution Techniques | ACM COMPUTING SURVEYS | 2018 |
| ROPMate: Visually Assisting the Creation of ROP-based Exploits | 2018 IEEE Symposium on Visualization for Cyber Security (VizSec) | 2018 |
| Rethinking Pointer Reasoning in Symbolic Execution | ASE 2017 - Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering | 2017 |
| Assisting malware analysis with symbolic execution: A case study | Cyber Security Cryptographyand Machine Learning | 2017 |
| On data skewness, stragglers, and MapReduce progress indicators | Proceedings of the Sixth ACM Symposium on Cloud Computing | 2015 |
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma
