◀ Click to filter
José Fragoso SantosProfessor Auxiliar | ARSR
Total displayed: 30
Order by:
- Modeling and Verifying Web Applications with Alloy Analyzer
José João Ferreira
Alessandro Gianola (advisor), José Fragoso Santos (advisor)
Instituto Superior Técnico, Universidade de Lisboa
2025 - Model Checking Security Properties of Multiversion Dependency Graphs
Javier de Muller
José Fragoso Santos (advisor)
Instituto Superior Técnico, Universidade de Lisboa
2025 - ComplyQL: Automatic GDPR Storage Compliance Verification
Cristi Savin
José Fragoso Santos (advisor), Nuno Santos (advisor)
Departamento de Engenharia Informática, Instituto Superior Técnico, Universidade de Lisboa
2023 - Explode.BE: Automatic Detection and Confirmation of Security Vulnerabilities in Browser Extensions
Tomás Tavares
José Fragoso Santos (advisor), Nuno Santos (advisor)
Departamento de Engenharia Informática, Instituto Superior Técnico, Universidade de Lisboa
2023 - "Verifying Distributed Protocols With Alloy
Nuno Policarpo
José Fragoso Santos (advisor)
João Leitão (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2023 - Project: "A CVC5 Backend for Efficient SMT Solving in OCaml"
João Pereira
José Fragoso Santos (advisor)
Instituto Superior Técnico, Universidade de Lisboa
2023 - Specification-Driven Synthesis of Summaries for Symbolic Execution
Rafael Gonçalves
José Fragoso Santos (advisor)
Instituto Superior Técnico, Universidade de Lisboa
2023 - Improving Wasm Symbolic Execution via Caching of Results
Afonso José Diamantino dos Santos Ribeiro
José Fragoso Santos (advisor)
Departamento de Engenharia Informática, Instituto Superior Técnico, Universidade de Lisboa
2022 - A JavaScript Compiler for Program Analysis
Rui Paças
José Fragoso Santos (advisor)
Instituto Superior Técnico, Universidade de Lisboa
2022 - A Typed Intermediate Languange for Specifying the ECMAScript Standard
André Nascimento
José Fragoso Santos (advisor)
Instituto Superior Técnico, Universidade de Lisboa
2022 - An Efficient Memory Data Structure for Wasm Symbolic Execution
André Alexandre Inácio Mendes
José Fragoso Santos (advisor)
Pedro Miguel dos Santos Alves Madeira Adão (coadvisor)
Departamento de Engenharia Informática, Instituto Superior Técnico, Universidade de Lisboa
2022 - Memory Models for Symbolic Execution of JavaScript Applications
Manuel Marques Costa
José Fragoso Santos (advisor)
Pedro Miguel dos Santos Alves Madeira Adão (coadvisor)
Departamento de Engenharia Informática, Instituto Superior Técnico, Universidade de Lisboa
2022 - Automatic Vulnerability Detection for Node.js Applications
Miguel Monteiro
Nuno Santos (advisor)
José Fragoso Santos (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2022 - Live Metadata for Test262
Diogo Costa Reis
José Fragoso Santos (advisor)
Departamento de Engenharia Informática, Instituto Superior Técnico, Universidade de Lisboa
2022 - RexStepper 2.0: Interactive Debugging for Regular Expressions in the Browser
Miguel Gonzaga Serra Victorino Correia da Silva
José Fragoso Santos (advisor)
Departamento de Engenharia Informática, Instituto Superior Técnico, Universidade de Lisboa
2022 - ECMARef6: A Reference Interpreter For Modern JavaScript
Rafael Rosa Rahal
José Fragoso Santos (advisor)
Departamento de Engenharia Informática, Instituto Superior Técnico, Universidade de Lisboa
2022 - Classic Symbolic Execution of WebAssembly
João Pedro Lopes Borges
José Fragoso Santos (advisor)
Departamento de Engenharia Informática, Instituto Superior Técnico, Universidade de Lisboa
2021 - A Reference Implementation of ES6 Built-in Libraries
Jorge Pedreira Cardoso Brown
José Fragoso Santos (advisor)
Departamento de Engenharia Informática, Instituto Superior Técnico, Universidade de Lisboa
2021 - Infra-estrutura de Testes para Implementações de Referência do Standard ECMAScript
Miguel Maria Marçalo Pires Trigo
António José dos Reis Morgado (advisor), José Fragoso Santos (advisor)
Departamento de Engenharia Informática, Instituto Superior Técnico, Universidade de Lisboa
2021 - Robust Symbolic Execution for WebAssembly
Filipe Marques
José Fragoso Santos (advisor)
Nuno Santos (coadvisor)
Universidade de Lisboa
2020 - A Type System for the Meta-language of the JavaScript Standard
Pedro José Fernandes Nunes
José Fragoso Santos (advisor)
Paulo Mateus (coadvisor)
Universidade de Lisboa
2020 - Code-Stepping Regular Expressions in the Browser
Luís Alberto Carvalho de Almeida
José Fragoso Santos (advisor)
Departamento de Engenharia Informática, Instituto Superior Técnico, Universidade de Lisboa
2020 - A Reference Implementation of JavaScript Built-in Libraries
David Manuel Sales Gonçalves
José Fragoso Santos (advisor)
Universidade de Lisboa
2020 - Platform-independent Summaries for Efficient Symbolic Execution
Frederico Ramos
José Fragoso Santos (advisor)
Pedro Adão (coadvisor)
Universidade de Lisboa
2020 - Robust Symbolic Execution for WebAssembly
Filipe Marques
José Fragoso Santos (advisor)
Nuno Santos (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2020 - ECMA-SL: A Platform for Specifying and Running the ECMAScript Standard
Luís Miguel Alves Loureiro
José Fragoso Santos (advisor)
Universidade de Lisboa
2020 - Precise Information Flow Control for JavaScript
Francisco João Do Vale Lopes e Silva Quinaz
José Fragoso Santos (advisor)
Ana Almeida Matos (coadvisor)
Universidade de Lisboa
2020 - Discovering Vulnerabilities in WebAssembly with Code Property Graphs
Pedro Daniel Rogeiro Lopes
José Fragoso Santos (advisor)
Nuno Santos (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2019 - Discovering Security Vulnerabilities in WebAssembly with Code Property Graphs
Pedro Daniel Rogeiro Lopes
José Fragoso Santos (advisor)
Nuno Santos (coadvisor)
Universidade de Lisboa
2019 - Concolic Execution for WebAssembly
Carolina Silva Costa
José Fragoso Santos (advisor)
Nuno Santos (coadvisor)
Departamento de Engenharia Informática, Instituto Superior Técnico, Universidade de Lisboa
2019 - Concolic Execution for WebAssembly
Carolina Costa
José Fragoso Santos (advisor)
Nuno Santos (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2019 - André Neves Ribeiro
André Ribeiro
José Fragoso Santos (advisor)
Ana Almeida Matos (coadvisor)
Universidade de Lisboa
2018