Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language.

Qi Sun, Anindya Banerjee, David A. Naumann

Browse the full SAS paper archive.