Trusted declassification: : high-level policy for a security-typed language.

Boniface Hicks, Dave King, Patrick D. McDaniel, Michael Hicks

Browse the full PLDI paper archive.