José Fragoso Santos
José Fragoso Santos
Verified email at tecnico.ulisboa.pt - Homepage
Title
Cited by
Cited by
Year
An Information Flow Monitor-Inlining Compiler for Securing a Core of Javascript
JF Santos, T Rezk
IFIP International Information Security Conference, 278-292, 2014
392014
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
33*2017
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
152019
Symbolic execution for javascript
JF Santos, P Maksimović, T Grohens, J Dolby, P Gardner
Proceedings of the 20th International Symposium on Principles and Practice …, 2018
122018
DOM: specification and client reasoning
A Raad, JF Santos, P Gardner
Asian Symposium on Programming Languages and Systems, 401-422, 2016
122016
An Information Flow Monitor for a Core of DOM Introducing references and live primitives
AA Matos, JF Santos, T Rezk
10*2014
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
9*2020
Hybrid typing of secure information flow in a javascript-like language
JF Santos, T Jensen, T Rezk, A Schmitt
Trustworthy Global Computing, 63-78, 2015
82015
Sensor-based self-calibration of the iCub's head
J Santos, A Bernardino, J Santos-Victor
2010 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2010
82010
Typing illegal information flows as program effects
AA Matos, JF Santos
Proceedings of the 7th Workshop on Programming Languages and Analysis for …, 2012
62012
Towards logic-based verification of javascript programs
JF Santos, P Gardner, P Maksimović, D Naudžiūnienė
International Conference on Automated Deduction, 8-25, 2017
52017
Learning techniques for pseudo-boolean solving
J Santos, V Manquinho
LPAR Workshops, 2008
52008
Gillian, Part II: Real-World Verification for JavaScript and C
P Maksimović, SÉ Ayoun, JF Santos, P Gardner
International Conference on Computer Aided Verification, 827-850, 2021
12021
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
12020
Mashic compiler: Mashup sandboxing based on inter-frame communication
Z Luo, J Fragoso Santos, A Almeida Matos, T Rezk
Journal of Computer Security 24 (1), 91-136, 2016
12016
Modular monitor extensions for information flow security in javascript
JF Santos, T Rezk, AA Matos
Trustworthy Global Computing, 47-62, 2015
12015
Gillian: A Multi-Language Platform for Unified Symbolic Analysis
P Maksimović, JF Santos, SÉ Ayoun, P Gardner
arXiv preprint arXiv:2105.14769, 2021
2021
A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications (Artifact)
G Sampaio, J Fragoso Santos, P Maksimović, P Gardner
Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2020
2020
Enforcing secure information flow in client-side Web applications
JFF dos Santos
Université Nice Sophia Antipolis, 2014
2014
The system can't perform the operation now. Try again later.
Articles 1–19