Refactoring programs to secure information flows.

Scott F. Smith, Mark Thober

Browse the full PLDI paper archive.