Follow
José Fragoso Santos
José Fragoso Santos
Verified email at tecnico.ulisboa.pt - Homepage
Title
Cited by
Cited by
Year
Gillian, part I: a multi-language platform for symbolic execution
J Fragoso Santos, P Maksimović, SÉ Ayoun, P Gardner
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
562020
JaVerT: JavaScript Verification Toolchain
J Fragoso Santos, P Maksimović, D Naudžiūnienė, T Wood, P Gardner
Proceedings of the ACM on Programming Languages 2 (POPL), 1-33, 2017
542017
An Information Flow Monitor-Inlining Compiler for Securing a Core of Javascript
J Fragoso Santos, T Rezk
IFIP International Information Security Conference, 278-292, 2014
50*2014
JaVerT 2.0: Compositional symbolic execution for JavaScript
J Fragoso Santos, P Maksimović, G Sampaio, P Gardner
Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019
482019
Symbolic Execution for JavaScript
J Fragoso Santos, P Maksimović, T Grohens, J Dolby, P Gardner
Proceedings of the 20th International Symposium on Principles and Practice …, 2018
442018
Wasmati: An efficient static vulnerability scanner for WebAssembly
T Brito, P Lopes, N Santos, JF Santos
Computers & Security 118, 102745, 2022
362022
Gillian, Part II: Real-World Verification for JavaScript and C
P Maksimović, SÉ Ayoun, J Fragoso Santos, P Gardner
International Conference on Computer Aided Verification, 827-850, 2021
342021
Concolic execution for webassembly
F Marques, J Fragoso Santos, N Santos, P Adão
36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022
212022
An Information Flow Monitor for a Core of DOM Introducing references and live primitives
A Almeida Matos, J Fragoso Santos, T Rezk
20*2014
RuleKeeper: GDPR-aware personal data compliance for web frameworks
M Ferreira, T Brito, JF Santos, N Santos
2023 IEEE Symposium on Security and Privacy (SP), 2817-2834, 2023
182023
Hybrid Typing of Secure Information Flow in a JavaScript-like Language
J Fragoso Santos, T Jensen, T Rezk, A Schmitt
Trustworthy Global Computing, 63-78, 2015
162015
Study of javascript static analysis tools for vulnerability detection in node. js packages
T Brito, M Ferreira, M Monteiro, P Lopes, M Barros, JF Santos, N Santos
IEEE Transactions on Reliability, 2023
152023
DOM: Specification and Client Reasoning
A Raad, J Fragoso Santos, P Gardner
Asian Symposium on Programming Languages and Systems, 401-422, 2016
122016
The Seesaw algorithm: Function optimization using implicit hitting sets
M Janota, A Morgado, J Fragoso Santos, V Manquinho
27th International Conference on Principles and Practice of Constraint …, 2021
112021
Sensor-based self-calibration of the iCub's head
J Fragoso Santos, A Bernardino, J Santos-Victor
2010 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2010
82010
A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications
G Sampaio, J Fragoso Santos, P Maksimović, P Gardner
34th European Conference on Object-Oriented Programming (ECOOP 2020), 2020
72020
Typing illegal information flows as program effects
A Almeida Matos, J Fragoso Santos
Proceedings of the 7th Workshop on Programming Languages and Analysis for …, 2012
62012
Learning techniques for pseudo-boolean solving
J Santos, VM Manquinho
LPAR Workshops, 2008
52008
Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs
M Ferreira, M Monteiro, T Brito, ME Coimbra, N Santos, L Jia, JF Santos
Proceedings of the ACM on Programming Languages 8 (PLDI), 417-441, 2024
42024
Towards logic-based verification of Javascript programs
J Fragoso Santos, P Gardner, P Maksimović, D Naudžiūnienė
International Conference on Automated Deduction, 8-25, 2017
4*2017
The system can't perform the operation now. Try again later.
Articles 1–20