Value Sensitivity and Observable Abstract Values for Information Flow Control (Nov 2015) Luciano Bello , Daniel Hedin, Andrei Sabelefeld 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'15)
Value-sensitive Hybrid Information Flow Control for a JavaScript-like Language (Jul 2015) Daniel Hedin, Luciano Bello , Andrei Sabelefeld 28th IEEE Computer Security Foundations Symposium (CSF'15)