Aslan Askarov Sebastian Hunt Andrei Sabelfeld David Sands Termination-Insensitive Noninterference Leaks More Than Just a Bit. 333-348 2008 ESORICS http://dx.doi.org/10.1007/978-3-540-88313-5_22 conf/esorics/2008 db/conf/esorics/esorics2008.html#AskarovHSS08