Information Flow Analysis in Logical Form
No abstract available.
Related papers
- Certifying Information Flow Properties of Programs: An Axiomatic Approach POPL 1979
- Using Static Single Assignment Form to Improve Flow-Insensitive Pointer Analysis PLDI 1998
- A monadic analysis of information flow security with mutable state JFP 2005
- A logic for information flow in object-oriented programs POPL 2006
- Logic-flow analysis of higher-order programs POPL 2007
- Closure Analysis in Constraint Form TOPLAS 1995
- Information Flow Control in Cyclic Process Networks ECOOP 2024
- Hypercollecting semantics and its application to static analysis of information flow POPL 2017