Nikhil Swamy Michael Hicks Verified enforcement of stateful information release policies. 21-32 2008 PLAS http://doi.acm.org/10.1145/1375696.1375700 conf/pldi/2008plas db/conf/pldi/plas2008.html#SwamyH08