Paralocks: role-based information flow control and beyond.

Niklas Broberg, David Sands

Browse the full POPL paper archive.