Detecting and Debugging Insecure Information Flows.

Wes Masri, Andy Podgurski, David Leon

Browse the full ISSRE paper archive.