Paragon for Practical Programming with Information-Flow Control
No abstract available.
Related papers
- Laminar: practical fine-grained decentralized information flow control PLDI 2009
- JFlow: Practical Mostly-Static Information Flow Control POPL 1999
- Practical Fine-Grained Information Flow Control Using Laminar TOPLAS 2014
- A Practical and Flexible Flow Analysis for Higher-Order Languages POPL 1996
- Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency ECOOP 2024
- A Practical and Flexible Flow Analysis for Higher-Order Languages TOPLAS 1998
- Paragon: Novel Uses of Type Hierarchies for Data Abstraction POPL 1984
- Towards a practical secure concurrent language OOPSLA 2012