José Fragoso Santos

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 31

Top Topics

Web Applications

Information Flow

Static Analysis

Top Venues

Proc. ACM Program. Lang.

Dagstuhl Artifacts Ser.

Publications

Mafalda Ferreira, Miguel Monteiro, Tiago Brito, Miguel E. Coimbra, Nuno Santos, Limin Jia, José Fragoso Santos
Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Tiago Brito, Mafalda Ferreira, Miguel Monteiro, Pedro Lopes, Miguel Barros, José Fragoso Santos, Nuno Santos
Study of JavaScript Static Analysis Tools for Vulnerability Detection in Node.js Packages. CoRR (2023)
Frederico Ramos, Nuno Sabino, Pedro Adão, David A. Naumann, José Fragoso Santos
Toward Tool-Independent Summaries for Symbolic Execution. ECOOP (2023)
Frederico Ramos, Diogo Costa Reis, Miguel Trigo, António Morgado, José Fragoso Santos
MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations. ISSTA (2023)
Mafalda Ferreira, Tiago Brito, José Fragoso Santos, Nuno Santos
RuleKeeper: GDPR-Aware Personal Data Compliance for Web Frameworks. SP (2023)
Luís Almeida, Miguel Gonzaga, José Fragoso Santos, Rui Abreu
Rexstepper: a Reference Debugger for JavaScript Regular Expressions. ICSE Companion (2023)
Tiago Brito, Mafalda Ferreira, Miguel Monteiro, Pedro Lopes, Miguel Barros, José Fragoso Santos, Nuno Santos
Study of JavaScript Static Analysis Tools for Vulnerability Detection in Node.js Packages. IEEE Trans. Reliab. 72 (4) (2023)
Frederico Ramos, Nuno Sabino, Pedro Adão, David A. Naumann, José Fragoso Santos
Toward Tool-Independent Summaries for Symbolic Execution (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Filipe Marques, José Fragoso Santos, Nuno Santos, Pedro Adão
Concolic Execution for WebAssembly. ECOOP (2022)
Filipe Marques, António Morgado, José Fragoso Santos, Mikolás Janota
TestSelector: Automatic Test Suite Selection for Student Projects - Extended Version. CoRR (2022)
Filipe Marques, José Fragoso Santos, Nuno Santos, Pedro Adão
Concolic Execution for WebAssembly (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
Tiago Brito, Pedro Lopes, Nuno Santos, José Fragoso Santos
Wasmati: An Efficient Static Vulnerability Scanner for WebAssembly. CoRR (2022)
Filipe Marques, António Morgado, José Fragoso Santos, Mikolás Janota
TestSelector: Automatic Test Suite Selection for Student Projects. RV (2022)
Tiago Brito, Pedro Lopes, Nuno Santos, José Fragoso Santos
Wasmati: An efficient static vulnerability scanner for WebAssembly. Comput. Secur. 118 (2022)
Mafalda Ferreira, Tiago Brito, José Fragoso Santos, Nuno Santos
Poster: A Systems Approach to GDPR Compliance-by-Design in Web Development Stacks. CCS (2022)
Petar Maksimovic, José Fragoso Santos, Sacha-Élie Ayoun, Philippa Gardner
Gillian: A Multi-Language Platform for Unified Symbolic Analysis. CoRR (2021)
Petar Maksimovic, Sacha-Élie Ayoun, José Fragoso Santos, Philippa Gardner
Gillian, Part II: Real-World Verification for JavaScript and C. CAV (2) (2021)
Mikolás Janota, António Morgado, José Fragoso Santos, Vasco M. Manquinho
The Seesaw Algorithm: Function Optimization Using Implicit Hitting Sets. CP (2021)
Eduardo Geraldo, José Fragoso Santos, João Costa Seco
Hybrid Information Flow Control for Low-Level Code. SEFM (2021)
José Fragoso Santos, Petar Maksimovic, Sacha-Élie Ayoun, Philippa Gardner
Gillian, part i: a multi-language platform for symbolic execution. PLDI (2020)
Gabriela Sampaio, José Fragoso Santos, Petar Maksimovic, Philippa Gardner
A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications (Artifact). Dagstuhl Artifacts Ser. 6 (2) (2020)
Gabriela Sampaio, José Fragoso Santos, Petar Maksimovic, Philippa Gardner
A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications. ECOOP (2020)
José Fragoso Santos, Petar Maksimovic, Sacha-Élie Ayoun, Philippa Gardner
Gillian: Compositional Symbolic Execution for All. CoRR (2020)
José Fragoso Santos, Petar Maksimovic, Gabriela Sampaio, Philippa Gardner
JaVerT 2.0: compositional symbolic execution for JavaScript. Proc. ACM Program. Lang. 3 (POPL) (2019)
José Fragoso Santos, Petar Maksimovic, Daiva Naudziuniene, Thomas Wood, Philippa Gardner
JaVerT: JavaScript verification toolchain. Proc. ACM Program. Lang. 2 (POPL) (2018)
José Fragoso Santos, Petar Maksimovic, Théotime Grohens, Julian Dolby, Philippa Gardner
Symbolic Execution for JavaScript. PPDP (2018)
José Fragoso Santos, Philippa Gardner, Petar Maksimovic, Daiva Naudziuniene
Towards Logic-Based Verification of JavaScript Programs. CADE (2017)
Zhengqin Luo, José Fragoso Santos, Ana Almeida Matos, Tamara Rezk
Mashic compiler: Mashup sandboxing based on inter-frame communication. J. Comput. Secur. 24 (1) (2016)
Azalea Raad, José Fragoso Santos, Philippa Gardner
DOM: Specification and Client Reasoning. APLAS (2016)
José Fragoso Santos, Thomas P. Jensen, Tamara Rezk, Alan Schmitt
Hybrid Typing of Secure Information Flow in a JavaScript-Like Language. TGC (2015)
José Fragoso Santos, Tamara Rezk, Ana Almeida Matos
Modular Monitor Extensions for Information Flow Security in JavaScript. TGC (2015)
José Fragoso Santos, Tamara Rezk
An Information Flow Monitor-Inlining Compiler for Securing a Core of JavaScript. SEC (2014)
Ana Gualdina Almeida Matos, José Fragoso Santos, Tamara Rezk
An Information Flow Monitor for a Core of DOM - Introducing References and Live Primitives. TGC (2014)
Ana Almeida Matos, José Fragoso Santos
Typing illegal information flows as program effects. PLAS (2012)
José Fragoso Santos, Alexandre Bernardino, José Santos-Victor
Sensor-based self-calibration of the iCub's head. IROS (2010)