José Fragoso Santos

According to our database1, José Fragoso Santos authored at least 18 papers between 2008 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications (Artifact).
Dagstuhl Artifacts Ser., 2020

Gillian: Compositional Symbolic Execution for All.
CoRR, 2020

Gillian, part i: a multi-language platform for symbolic execution.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications.
Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019
JaVerT 2.0: compositional symbolic execution for JavaScript.
Proc. ACM Program. Lang., 2019

2018
JaVerT: JavaScript verification toolchain.
Proc. ACM Program. Lang., 2018

Symbolic Execution for JavaScript.
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

2017
Towards Logic-Based Verification of JavaScript Programs.
Proceedings of the Automated Deduction - CADE 26, 2017

2016
Mashic compiler: Mashup sandboxing based on inter-frame communication.
J. Comput. Secur., 2016

DOM: Specification and Client Reasoning.
Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

2015
Modular Monitor Extensions for Information Flow Security in JavaScript.
Proceedings of the Trustworthy Global Computing - 10th International Symposium, 2015

Hybrid Typing of Secure Information Flow in a JavaScript-Like Language.
Proceedings of the Trustworthy Global Computing - 10th International Symposium, 2015

2014
Enforcing secure information flow in client-side Web applications. (Vers l'établissement du flux d'information sûr dans les applications Web côté client).
PhD thesis, 2014

An Information Flow Monitor for a Core of DOM - Introducing References and Live Primitives.
Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014

An Information Flow Monitor-Inlining Compiler for Securing a Core of JavaScript.
Proceedings of the ICT Systems Security and Privacy Protection, 2014

2012
Typing illegal information flows as program effects.
Proceedings of the 2012 Workshop on Programming Languages and Analysis for Security, 2012

2010
Sensor-based self-calibration of the iCub's head.
Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010

2008
Learning Techniques for Pseudo-Boolean Solving.
Proceedings of the LPAR 2008 Workshops, 2008


  Loading...