Value Sensitivity and Observable Abstract Values for Information Flow Control

Luciano Bello, Daniel Hedin, Andrei Sabelfeld. Value Sensitivity and Observable Abstract Values for Information Flow Control. In Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings. Volume 9450 of Lecture Notes in Computer Science, pages 63-78, Springer, 2015. [doi]

Authors

Luciano Bello

This author has not been identified. Look up 'Luciano Bello' in Google

Daniel Hedin

This author has not been identified. Look up 'Daniel Hedin' in Google

Andrei Sabelfeld

This author has not been identified. Look up 'Andrei Sabelfeld' in Google