Toward Tool-Independent Summaries for Symbolic Execution. - Frederico Ramos; Nuno Sabino; Pedro Adão; David A. Naumann; José Fragoso Santos (ECOOP, 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)

NodeMedic-FINE: Automatic Detection and Exploit Synthesis for Node.js Vulnerabilities. - Darion Cassel; Nuno Sabino; Min-Chien Hsu; Ruben Martins; Limin Jia 001 (NDSS, 2025)