Enforcing Stateful Authorization and Information Flow Policies in Fine
No abstract available.
Related papers
- Paralocks: role-based information flow control and beyond POPL 2010
- Practical Fine-Grained Information Flow Control Using Laminar TOPLAS 2014
- Run-time principals in information-flow type systems TOPLAS 2007
- Cocoon: Static Information Flow Control in Rust OOPSLA 2024
- Cryptographically sound implementations for typed information-flow security POPL 2008
- LWeb: information flow security for multi-tier web applications POPL 2019
- Exploring and enforcing security guarantees via program dependence graphs PLDI 2015
- Liquid information flow control ICFP 2020