A Per Model of Secure Information Flow in Sequential Programs
No abstract available.
Related papers
- LWeb: information flow security for multi-tier web applications POPL 2019
- Secure Information Flow in a Multi-Threaded Imperative Language POPL 1998
- Analysis of Secure Information Flow by Model-Checking APLAS 2001
- Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security CAV 2021
- LJGS: Gradual Security Types for Object-Oriented Languages ECOOP 2016
- Laminar: practical fine-grained decentralized information flow control PLDI 2009
- Data Flow Analysis of Secure Information-Flow APLAS 2002
- Secure Information Flow and CPS ESOP 2001