JosÚ Fragoso Santos
TitleCited byYear
An information flow monitor-inlining compiler for securing a core of javascript
JF Santos, T Rezk
IFIP International Information Security Conference, 278-292, 2014
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), 50, 2017
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
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
Dom: Specification and client reasoning
A Raad, JF Santos, P Gardner
Asian Symposium on Programming Languages and Systems, 401-422, 2016
An Information Flow Monitor for a Core of DOM Introducing references and live primitives
AA Matos, JF Santos, T Rezk
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
Typing illegal information flows as program effects
AA Matos, JF Santos
Proceedings of the 7th Workshop on Programming Languages and Analysis forá…, 2012
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), 66, 2019
Learning techniques for pseudo-boolean solving
J Santos, VM Manquinho
LPAR, 2008
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
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
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
Modular Monitor Extensions for Information Flow Security in JavaScript
JF Santos, T Rezk, AA Matos
Trustworthy Global Computing, 47-62, 2015
Enforcing secure information flow in client-side Web applications
JFF dos Santos
An Information Flow Monitor for a Core of DOM
AA Matos, JF Santos, T Rezk
Enforcing Secure Information Flow in Client-Side Web Applications
DA Naumann, AA Matos
The system can't perform the operation now. Try again later.
Articles 1–17