Reactive noninterference.

Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sjberg, Stephanie Weirich, Steve Zdancewic

Browse the full CCS paper archive.