Nuno Sabino - Research

Publications

Here is a list of my publications:

Toward Tool-Independent Summaries for Symbolic Execution
Frederico Ramos, Nuno Sabino, Pedro Adão, David Naumann, José Fragoso Santos
In Proceedings of the 37th European Conference on Object-Oriented Programming (ECOOP 2023)
NODEMEDIC-FINE: Automatic Detection and Exploit Synthesis for Node. js Vulnerabilities
Darion Cassel, Nuno Sabino, Mindy Hsu, Ruben Martins, Limin Jia
In Proceedings of the 2025 Network and Distributed System Security Symposium (NDSS’25)

I was also part of artifact review committees for the following conferences: