Enforcing Stateful Authorization and Information Flow Policies in Fine.

Nikhil Swamy, Juan Chen, Ravi Chugh

Browse the full ESOP paper archive.