Daniel Hedin David Sands Noninterference in the Presence of Non-Opaque Pointers. 217-229 2006 conf/csfw/2006 CSFW http://doi.ieeecomputersociety.org/10.1109/CSFW.2006.19 db/conf/csfw/csfw2006.html#HedinS06