A Functional View of Imperative Information Flow
No abstract available.
Related papers
- A monadic analysis of information flow security with mutable state JFP 2005
- Secure Information Flow in a Multi-Threaded Imperative Language POPL 1998
- Modular information flow through ownership PLDI 2022
- Demand-driven Computation of Interprocedural Data Flow POPL 1995
- ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs ESOP 2020
- A uniform type structure for secure information flow POPL 2002
- A uniform type structure for secure information flow TOPLAS 2007
- The Program Dependence Web: A Representation Supporting Control, Data, and Demand-Driven Interpretation of Imperative Languages PLDI 1990