Formalizing Probabilistic Noninterference
No abstract available.
DOI 10.1007/978-3-319-03545-1_17
Related papers
- Downgrading policies and relaxed noninterference POPL 2005
- Existential Types for Relaxed Noninterference APLAS 2019
- Mechanized logical relations for termination-insensitive noninterference POPL 2021
- Compiling Probabilistic Programs for Variable Elimination with Information Flow PLDI 2024
- Causality and Semantic Separation PLDI 2026
- Proving Concurrent Noninterference CPP 2012
- Controlled Declassification Based on Intransitive Noninterference APLAS 2004
- Noninterference for Operating System Kernels CPP 2012