Compile-Time Detection of Information Flow in Sequential Programs.

Jean-Pierre Bantre, Ciarn Bryce, Daniel Le Mtayer

Browse the full ESORICS paper archive.