A Theory of Information-Flow Labels presented at CSF 2013

by Benoit Montagu, Benjamin Pierce, Randy Pollack,

Summary : N/A