Semantics and Program Analysis of Computationally Secure Information Flow
Abstract elided by the publisher.
Related papers
- A monadic analysis of information flow security with mutable state JFP 2005
- Data Flow Analysis of Secure Information-Flow APLAS 2002
- Handling Encryption in an Analysis for Secure Information Flow ESOP 2003
- Analysis of Secure Information Flow by Model-Checking APLAS 2001
- Hypercollecting semantics and its application to static analysis of information flow POPL 2017
- A uniform type structure for secure information flow TOPLAS 2007
- A uniform type structure for secure information flow POPL 2002
- Stack-based access control and secure information flow JFP 2005