Secure Information Flow as a Safety Problem
Abstract elided by the publisher.
Related papers
- Lazy Self-composition for Security Verification CAV 2018
- Information flow vs. resource access in the asynchronous pi-calculus TOPLAS 2002
- Hypercollecting semantics and its application to static analysis of information flow POPL 2017
- Multiple Facets for Dynamic Information Flow with Exceptions TOPLAS 2017
- Multiple facets for dynamic information flow POPL 2012
- SeLINQ: tracking information across application-database boundaries ICFP 2014
- Data Flow Analysis of Secure Information-Flow APLAS 2002
- Secure Information Flow and CPS ESOP 2001