Verified enforcement of stateful information release policies.

Nikhil Swamy, Michael Hicks

Browse the full PLDI paper archive.