José Fragoso Santos - Citegraph

Author Info

Name	Affiliation	Papers
JOSÉ FRAGOSO SANTOS	Inria Sophia Antipolis Méditérranée	12
Collaborators	Citations	PageRank
18	5	4.13
Referers	Referees	References
16	236	114

Search Limit

100236

Publications (12 rows)

Collaborators (18 rows)

Referers (16 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
Poster: A Systems Approach to GDPR Compliance-by-Design in Web Development Stacks	0	0.34	2022
Gillian, part i: a multi-language platform for symbolic execution	0	0.34	2020
A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications.	0	0.34	2020
JaVerT 2.0: compositional symbolic execution for JavaScript.	1	0.35	2019
JaVerT: JavaScript verification toolchain	0	0.34	2018
Towards Logic-Based Verification of JavaScript Programs.	1	0.36	2017
Mashic compiler: Mashup sandboxing based on inter-frame communication.	1	0.36	2016
DOM: Specification and Client Reasoning.	0	0.34	2016
Hybrid Typing of Secure Information Flow in a JavaScript-Like Language.	1	0.35	2015
Modular Monitor Extensions for Information Flow Security in JavaScript.	0	0.34	2015
Typing illegal information flows as program effects	1	0.35	2012
Application of compensation techniques in a dsPIC based impedance measuring system	0	0.34	2011

1