Nickel: A Framework for Design and Verification of Information Flow Control Systems.

Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang

Browse the full OSDI paper archive.