Similar Items: On the Compositionality of Quantitative Information Flow
- Quantitative information flow under generic leakage functions and adaptive adversaries
- Abstract Hidden Markov Models: a monadic account of quantitative information flow
- Output-sensitive Information flow analysis
- Executable First-Order Queries in the Logic of Information Flows
- Comparator automata in quantitative verification
- Sum and Tensor of Quantitative Effects