José Fragoso Santos

Orcid: 0000-0001-5077-300X

Affiliations:
  • Universidade de Lisboa, Portugal
  • Imperial College, UK (former)


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs.
Proc. ACM Program. Lang., 2024

2023
Study of JavaScript Static Analysis Tools for Vulnerability Detection in Node.js Packages.
IEEE Trans. Reliab., December, 2023

Toward Tool-Independent Summaries for Symbolic Execution (Artifact).
Dagstuhl Artifacts Ser., 2023

RuleKeeper: GDPR-Aware Personal Data Compliance for Web Frameworks.
Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations.
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Rexstepper: a Reference Debugger for JavaScript Regular Expressions.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

Toward Tool-Independent Summaries for Symbolic Execution.
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022
Concolic Execution for WebAssembly (Artifact).
Dagstuhl Artifacts Ser., 2022

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

Wasmati: An efficient static vulnerability scanner for WebAssembly.
Comput. Secur., 2022

TestSelector: Automatic Test Suite Selection for Student Projects.
Proceedings of the Runtime Verification - 22nd International Conference, 2022

Concolic Execution for WebAssembly.
Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

Poster: A Systems Approach to GDPR Compliance-by-Design in Web Development Stacks.
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

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

Hybrid Information Flow Control for Low-Level Code.
Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

The Seesaw Algorithm: Function Optimization Using Implicit Hitting Sets.
Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

Gillian, Part II: Real-World Verification for JavaScript and C.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020
A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications (Artifact).
Dagstuhl Artifacts Ser., 2020

Gillian: Compositional Symbolic Execution for All.
CoRR, 2020

Gillian, part i: a multi-language platform for symbolic execution.
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.
Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019
JaVerT 2.0: compositional symbolic execution for JavaScript.
Proc. ACM Program. Lang., 2019

2018
JaVerT: JavaScript verification toolchain.
Proc. ACM Program. Lang., 2018

Symbolic Execution for JavaScript.
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

2017
Towards Logic-Based Verification of JavaScript Programs.
Proceedings of the Automated Deduction - CADE 26, 2017

2016
Mashic compiler: Mashup sandboxing based on inter-frame communication.
J. Comput. Secur., 2016

DOM: Specification and Client Reasoning.
Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

2015
Modular Monitor Extensions for Information Flow Security in JavaScript.
Proceedings of the Trustworthy Global Computing - 10th International Symposium, 2015

Hybrid Typing of Secure Information Flow in a JavaScript-Like Language.
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).
PhD thesis, 2014

An Information Flow Monitor for a Core of DOM - Introducing References and Live Primitives.
Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014

An Information Flow Monitor-Inlining Compiler for Securing a Core of JavaScript.
Proceedings of the ICT Systems Security and Privacy Protection, 2014

2012
Typing illegal information flows as program effects.
Proceedings of the 2012 Workshop on Programming Languages and Analysis for Security, 2012

2010
Sensor-based self-calibration of the iCub's head.
Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010

2008
Learning Techniques for Pseudo-Boolean Solving.
Proceedings of the LPAR 2008 Workshops, 2008


  Loading...