Analysis of Secure Information Flow by Model-Checking
No abstract available.
Related papers
- Lazy Self-composition for Security Verification CAV 2018
- Stack-based access control and secure information flow JFP 2005
- 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
- A Per Model of Secure Information Flow in Sequential Programs ESOP 1999
- 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