Value Sensitivity and Observable Abstract Values for Information Flow Control.

Luciano Bello, Daniel Hedin, Andrei Sabelfeld

Browse the full LPAR paper archive.