José Fragoso Santos
José Fragoso Santos
Dirección de correo verificada de tecnico.ulisboa.pt - Página principal
Título
Citado por
Citado por
Año
An Information Flow Monitor-Inlining Compiler for Securing a Core of Javascript
JF Santos, T Rezk
IFIP International Information Security Conference, 278-292, 2014
322014
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
272017
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
122019
DOM: specification and client reasoning
A Raad, JF Santos, P Gardner
Asian Symposium on Programming Languages and Systems, 401-422, 2016
122016
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
102018
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
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
72015
An information flow monitor for a core of DOM
A Almeida-Matos, JF Santos, T Rezk
International Symposium on Trustworthy Global Computing, 1-16, 2014
72014
An Information Flow Monitor for a Core of DOM Introducing references and live primitives
AA Matos, JF Santos, T Rezk
72014
JaVerT: JavaScript Verification Toolchain. PACMPL 2, POPL (2018), 50: 1–50: 33
JF Santos, P Maksimović, D Naudžiuniene, T Wood, P Gardner
52018
Typing illegal information flows as program effects
AA Matos, JF Santos
Proceedings of the 7th Workshop on Programming Languages and Analysis for …, 2012
52012
Learning techniques for pseudo-boolean solving
J Santos, V Manquinho
LPAR, 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 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
32020
Gillian: Compositional Symbolic Execution for All
JF Santos, P Maksimović, SÉ Ayoun, P Gardner
arXiv preprint arXiv:2001.05059, 2020
12020
Gillian: Compositional Symbolic Execution for All
J Fragoso Santos, P Maksimović, SÉ Ayoun, P Gardner
arXiv, arXiv: 2001.05059, 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
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
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
2020
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20