José Fragoso Santos

About Me

I am post-doc researcher at the Department of Computing of Imperial College working with Prof. Philippa Gardner. Before, I was PhD student in Computer Science at Inria Sophia Antipolis Méditerranée in the INDES team supervised by Dr. Tamara Rezk and Dr. Ana Almeida Matos. My research interests are program analysis and instrumentation, mainly for security, but not exclusively.

Contact Information

Email: jose.fragoso.santos@imperial.ac.uk
José Fragoso Santos photo

Conference and Workshop Papers

Hybrid Typing of Secure Information Flow in a JavaScript-like Language. José Fragoso Santos, Thomas Jensen, Alan Schmitt, and Tamara Rezk. Proceedings of the 10th International Symposium on Trustworthy Global Computing (TGC), September 2015. [SLIDES] [DEMO]

Modular Monitor Extensions for Information Flow Security in JavaScript. José Fragoso Santos, Ana Almeida Matos, and Tamara Rezk. Proceedings of the 10th International Symposium on Trustworthy Global Computing (TGC), September 2015. [SLIDES] [DEMO]

An Information Flow Monitor for a Core of DOM - Introducing references and live primitives. Ana Almeida Matos, José Fragoso Santos, Tamara Rezk. Proceedings of the 9th International Symposium on Trustworthy Global Computing (TGC), September 2014. [SLIDES]

An Information Flow Monitor-Inlining Compiler for Securing a Core of JavaScript. José Fragoso Santos, Tamara Rezk. Proceedings he 29th IFIP International Information Security and Privacy Conference (IFIP SEC), June 2014. [SLIDES] [DEMO]

Typing Illegal Information Flows as Program Effects. Ana Almeida Matos, José Fragoso Santos. Proceedings of the ACM SIGPLAN 7th Workshop on Programming Languages and Analysis for Security (PLAS), June 2012. [SLIDES]

Learning Techniques for Pseudo-Boolean Solving. José Fragoso Santos, Vasco Manquinho. Proceedings of the 7th International Workshop on the Implementation of Logics, November 2008.

Other Talks

Typing Illegal Information Flows as Program Effects. with Ana Almeida Matos. Presented at The 19th CREST Open Workshop - Interference and Dependence, May 2012.

Extending the Mashic Compiler - Enforcing Security Policies in the Presence of Malicious Advertisements Internal presentation for the INDES team, July 2012.

A long time ago, my research was about (baby!) robots

Sensor Based Self-Calibration of the iCub's Head. José Fragoso Santos, Alexandre Bernardino, José Santos-Victor. Proceedings of the International Conference on Intelligent Robots and Systems, November 2010.

Vestibular Calibration of a Humanoid Robot's Head. José Fragoso Santos, Alexandre Bernardino. Proceedings of the 10th Conference on Mobile Robots and Competitions, March 2010.

Personal Notes

Some notes I've written about several subjects that interest me...

Notes on XML.

Notes on JavaScript, Notes on jQuery, and JavaScript Basics [SLIDES1], DOM Scripting [SLIDES2], jQuery [SLIDES3], Performance [SLIDES4], JavaScript MVC [SLIDES5], Testing [SLIDES6], Worksheet 1, Worksheet 2, Worksheet 3

Notes on Java and Design Patterns.

Notes on HTML and CSS.

Notes on Modern Epistemology.

The design of this page was heavily inspired by the page of Gordon Steward. dom implementation