Flow Locks: Towards a Core Calculus for Dynamic Flow Policies
No abstract available.
Related papers
- LWeb: information flow security for multi-tier web applications POPL 2019
- Precise, dynamic information flow for database-backed applications PLDI 2016
- Paralocks: role-based information flow control and beyond POPL 2010
- A uniform type structure for secure information flow POPL 2002
- A uniform type structure for secure information flow TOPLAS 2007
- Carapace: Static-Dynamic Information Flow Control in Rust OOPSLA 2025
- Dependent Type Theory for Verification of Information Flow and Access Control Policies TOPLAS 2013
- LJGS: Gradual Security Types for Object-Oriented Languages ECOOP 2016