Permissive dynamic information flow analysis.

Thomas H. Austin, Cormac Flanagan

Browse the full PLDI paper archive.