A Logical System for Modular Information Flow Verification
No abstract available.
Related papers
- Modular Product Programs ESOP 2018
- Modular Product Programs TOPLAS 2020
- Structural Information Flow: A Fresh Look at Types for Non-interference OOPSLA 2025
- Probabilistic relational verification for cryptographic implementations POPL 2014
- Modular information flow through ownership PLDI 2022
- Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language SAS 2004
- Leveraging rust types for modular specification and verification OOPSLA 2019
- An Algebra of Alignment for Relational Verification POPL 2023