Pages that link to "Item:Q3587441"
From MaRDI portal
The following pages link to Compositional Closure for Bayes Risk in Probabilistic Noninterference (Q3587441):
Displayed 14 items.
- Abstractions of non-interference security: probabilistic versus possibilistic (Q2018754) (← links)
- Processing text for privacy: an information flow perspective (Q2024330) (← links)
- An algebraic approach for reasoning about information flow (Q2024334) (← links)
- A better composition operator for quantitative information flow analyses (Q2167722) (← links)
- An axiomatization of information flow measures (Q2422017) (← links)
- Program algebra for quantitative information flow (Q2423771) (← links)
- Quantifying information leakage of randomized protocols (Q2517235) (← links)
- Compositional methods for information-hiding (Q2971070) (← links)
- On the Relation between Differential Privacy and Quantitative Information Flow (Q3012909) (← links)
- Quantifying Vulnerability of Secret Generation Using Hyper-Distributions (Q3304804) (← links)
- Algebra for Quantitative Information Flow (Q5283199) (← links)
- Hidden-Markov program algebra with iteration (Q5740625) (← links)
- Quantifying opacity (Q5740626) (← links)
- On the Additive Capacity Problem for Quantitative Information Flow (Q6104798) (← links)