Skip to content

Flow-sensitive semantics for dynamic information flow policies.

Niklas Broberg, David Sands

VenueA*PLDI
Year2009
ProceedingsPLAS

Browse the full PLDI paper archive.