Termination-insensitive noninterference leaks more than just a bit. (2008)

by Aslan Askarov, Sebastian Hunt, Andrei Sabelfeld, David Sands
Venue:In ESORICS ’08,