Semantics for Noninterference with Interaction Trees.

Lucas Silver, Paul He, Ethan Cecchetti, Andrew K. Hirsch, Steve Zdancewic

Browse the full ECOOP paper archive.