Nuno Sabino

According to our database, Nuno Sabino authored at least 3 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

NodeMedic-FINE: Automatic Detection and Exploit Synthesis for Node.js Vulnerabilities.

Darion Cassel, Nuno Sabino, Min-Chien Hsu, Ruben Martins, Limin Jia

Proceedings of the 32nd Annual Network and Distributed System Security Symposium, 2025

2023

Toward Tool-Independent Summaries for Symbolic Execution (Artifact).

Frederico Ramos, Nuno Sabino, Pedro Adão, David A. Naumann, José Fragoso Santos

Dagstuhl Artifacts Ser., 2023

Toward Tool-Independent Summaries for Symbolic Execution.

Frederico Ramos, Nuno Sabino, Pedro Adão, David A. Naumann, José Fragoso Santos

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023