José Fragoso Santos
José Fragoso Santos
Dirección de correo verificada de ic.ac.uk - Página principal
TítuloCitado porAñ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
282014
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
142017
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
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
Dom: Specification and client reasoning
A Raad, JF Santos, P Gardner
Asian Symposium on Programming Languages and Systems, 401-422, 2016
62016
An Information Flow Monitor for a Core of DOM Introducing references and live primitives
AA Matos, JF Santos, T Rezk
62014
Typing illegal information flows as program effects
AA Matos, JF Santos
Proceedings of the 7th Workshop on Programming Languages and Analysis for …, 2012
62012
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
52015
Learning techniques for pseudo-boolean solving
J Santos, VM Manquinho
LPAR, 2008
42008
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
32018
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
32017
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
12019
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
2015
Enforcing secure information flow in client-side Web applications
JFF dos Santos
2014
An Information Flow Monitor for a Core of DOM
AA Matos, JF Santos, T Rezk
2014
Enforcing Secure Information Flow in Client-Side Web Applications
DA Naumann, AA Matos
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–17