Secure Information Flow and CPS
Abstract elided by the publisher.
Related papers
- CPS transformation of flow information JFP 2003
- CPS transformation of flow information, Part II: administrative reductions JFP 2003
- Syntactic accidents in program analysis: on the impact of the CPS transformation ICFP 2000
- Data Flow Analysis of Secure Information-Flow APLAS 2002
- Semantics and Program Analysis of Computationally Secure Information Flow ESOP 2001
- Handling Encryption in an Analysis for Secure Information Flow ESOP 2003
- Secure Information Flow as a Safety Problem SAS 2005
- Compiling Information-Flow Security to Minimal Trusted Computing Bases ESOP 2011