Flow Locks: Towards a Core Calculus for Dynamic Flow Policies.

Niklas Broberg, David Sands

Browse the full ESOP paper archive.