José Fragoso Santos

According to our database, José Fragoso Santos authored at least 35 papers between 2008 and 2024.

Collaborative distances:

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

2024

Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs.

Mafalda Ferreira, Miguel Monteiro, Tiago Brito, Miguel E. Coimbra, Nuno Santos, Limin Jia, José Fragoso Santos

Proc. ACM Program. Lang., 2024

2023

Study of JavaScript Static Analysis Tools for Vulnerability Detection in Node.js Packages.

Tiago Brito, Mafalda Ferreira, Miguel Monteiro, Pedro Lopes, Miguel Barros, José Fragoso Santos, Nuno Santos

IEEE Trans. Reliab., December, 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

RuleKeeper: GDPR-Aware Personal Data Compliance for Web Frameworks.

Mafalda Ferreira, Tiago Brito, José Fragoso Santos, Nuno Santos

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations.

Frederico Ramos, Diogo Costa Reis, Miguel Trigo, António Morgado, José Fragoso Santos

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Rexstepper: a Reference Debugger for JavaScript Regular Expressions.

Luís Almeida, Miguel Gonzaga, José Fragoso Santos, Rui Abreu

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 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

2022

Concolic Execution for WebAssembly (Artifact).

Filipe Marques, José Fragoso Santos, Nuno Santos, Pedro Adão

Dagstuhl Artifacts Ser., 2022

TestSelector: Automatic Test Suite Selection for Student Projects - Extended Version.

Filipe Marques, António Morgado, José Fragoso Santos, Mikolás Janota

CoRR, 2022

Wasmati: An efficient static vulnerability scanner for WebAssembly.

Tiago Brito, Pedro Lopes, Nuno Santos, José Fragoso Santos

Comput. Secur., 2022

TestSelector: Automatic Test Suite Selection for Student Projects.

Filipe Marques, António Morgado, José Fragoso Santos, Mikolás Janota

Proceedings of the Runtime Verification - 22nd International Conference, 2022

Concolic Execution for WebAssembly.

Filipe Marques, José Fragoso Santos, Nuno Santos, Pedro Adão

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

Poster: A Systems Approach to GDPR Compliance-by-Design in Web Development Stacks.

Mafalda Ferreira, Tiago Brito, José Fragoso Santos, Nuno Santos

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2021

Gillian: A Multi-Language Platform for Unified Symbolic Analysis.

Petar Maksimovic, José Fragoso Santos, Sacha-Élie Ayoun, Philippa Gardner

CoRR, 2021

Hybrid Information Flow Control for Low-Level Code.

Eduardo Geraldo, José Fragoso Santos, João Costa Seco

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

The Seesaw Algorithm: Function Optimization Using Implicit Hitting Sets.

Mikolás Janota, António Morgado, José Fragoso Santos, Vasco Manquinho

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

Gillian, Part II: Real-World Verification for JavaScript and C.

Petar Maksimovic, Sacha-Élie Ayoun, José Fragoso Santos, Philippa Gardner

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications (Artifact).

Gabriela Sampaio, José Fragoso Santos, Petar Maksimovic, Philippa Gardner

Dagstuhl Artifacts Ser., 2020

Gillian: Compositional Symbolic Execution for All.

José Fragoso Santos, Petar Maksimovic, Sacha-Élie Ayoun, Philippa Gardner

CoRR, 2020

Gillian, part i: a multi-language platform for symbolic execution.

José Fragoso Santos, Petar Maksimovic, Sacha-Élie Ayoun, Philippa Gardner

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications.

Gabriela Sampaio, José Fragoso Santos, Petar Maksimovic, Philippa Gardner

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019

JaVerT 2.0: compositional symbolic execution for JavaScript.

José Fragoso Santos, Petar Maksimovic, Gabriela Sampaio, Philippa Gardner

Proc. ACM Program. Lang., 2019

2018

JaVerT: JavaScript verification toolchain.

José Fragoso Santos, Petar Maksimovic, Daiva Naudziuniene, Thomas Wood, Philippa Gardner

Proc. ACM Program. Lang., 2018

Symbolic Execution for JavaScript.

José Fragoso Santos, Petar Maksimovic, Théotime Grohens, Julian Dolby, Philippa Gardner

Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

2017

Towards Logic-Based Verification of JavaScript Programs.

José Fragoso Santos, Philippa Gardner, Petar Maksimovic, Daiva Naudziuniene

Proceedings of the Automated Deduction - CADE 26, 2017

2016

Mashic compiler: Mashup sandboxing based on inter-frame communication.

Zhengqin Luo, José Fragoso Santos, Ana Almeida Matos, Tamara Rezk

J. Comput. Secur., 2016

DOM: Specification and Client Reasoning.

Azalea Raad, José Fragoso Santos, Philippa Gardner

Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

2015

Modular Monitor Extensions for Information Flow Security in JavaScript.

José Fragoso Santos, Tamara Rezk, Ana Almeida Matos

Proceedings of the Trustworthy Global Computing - 10th International Symposium, 2015

Hybrid Typing of Secure Information Flow in a JavaScript-Like Language.

José Fragoso Santos, Thomas P. Jensen, Tamara Rezk, Alan Schmitt

Proceedings of the Trustworthy Global Computing - 10th International Symposium, 2015

2014

Enforcing secure information flow in client-side Web applications. (Vers l'établissement du flux d'information sûr dans les applications Web côté client).

José Fragoso Femenin dos Santos

PhD thesis, 2014

An Information Flow Monitor for a Core of DOM - Introducing References and Live Primitives.

Ana Gualdina Almeida Matos, José Fragoso Santos, Tamara Rezk

Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014

An Information Flow Monitor-Inlining Compiler for Securing a Core of JavaScript.

José Fragoso Santos, Tamara Rezk

Proceedings of the ICT Systems Security and Privacy Protection, 2014

2012

Typing illegal information flows as program effects.

Ana Almeida Matos, José Fragoso Santos

Proceedings of the 2012 Workshop on Programming Languages and Analysis for Security, 2012

2010

Sensor-based self-calibration of the iCub's head.

José Fragoso Santos, Alexandre Bernardino, José Santos-Victor

Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010

2008

Learning Techniques for Pseudo-Boolean Solving.

José Faustino Fragoso Femenin dos Santos, Vasco Manquinho

Proceedings of the LPAR 2008 Workshops, 2008