Hybrid Typing of Secure Information Flow in a JavaScript-Like Language

José Fragoso Santos, Thomas Jensen, Tamara Rezk, Alan Schmitt. Hybrid Typing of Secure Information Flow in a JavaScript-Like Language. In Pierre Ganty, Michele Loreti, editors, Trustworthy Global Computing - 10th International Symposium, TGC 2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers. Volume 9533 of Lecture Notes in Computer Science, pages 63-78, Springer, 2015. [doi]

Authors

José Fragoso Santos

This author has not been identified. Look up 'José Fragoso Santos' in Google

Thomas Jensen

This author has not been identified. Look up 'Thomas Jensen' in Google

Tamara Rezk

This author has not been identified. Look up 'Tamara Rezk' in Google

Alan Schmitt

This author has not been identified. Look up 'Alan Schmitt' in Google