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
382014
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
162019
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
Gillian, part i: a multi-language platform for symbolic execution.
JF Santos, P Maksimovic, S╔ Ayoun, P Gardner
PLDI, 927-942, 2020
10*2020
An Information Flow Monitor for a Core of DOM Introducing references and live primitives
AA Matos, JF Santos, T Rezk
10*2014
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
Learning techniques for pseudo-boolean solving
J Santos, V Manquinho
LPAR Workshops, 2008
52008
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
42017
Gillian, Part II: Real-World Verification for JavaScript and C
P Maksimović, S╔ Ayoun, JF Santos, P Gardner
Computer Aided Verification-33rd International Conference, CAV, 18-23, 2020
12020
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