Compile-time Detection of Information Flow (1994)

by J P Banatre, C Bryce, D Le Metayer
Venue:in Sequential Programs.” In Proc. Third European Symp. Research in Computer Security