Proving Concurrent Noninterference
No abstract available.
DOI 10.1007/978-3-642-35308-6_11
Related papers
- Verified secure compilation for mixed-sensitivity concurrent programs JFP 2021
- Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency ECOOP 2024
- Noninterference for free ICFP 2015
- Noninterference through flow analysis JFP 2005
- Testing noninterference, quickly ICFP 2013
- Recursive Logical Relations for Intuitionistic Linear Logic Session Types ESOP 2026
- Existential Types for Relaxed Noninterference APLAS 2019
- Testing noninterference, quickly JFP 2016