Quantitative information flow as network flow capacity
Abstract
Abstract We present a new technique for determining how much informationabout a program's secret inputs is revealed by its public outputs. In
Related papers
- Quantitative Information Flow: From Theory to Practice? CAV 2010
- Scalable Approximation of Quantitative Information Flow in Programs VMCAI 2018
- Resilient Capacity-Aware Routing TACAS 2021
- Quantitative strongest post: a calculus for reasoning about the flow of quantitative information OOPSLA 2022
- Information Flow Control in Cyclic Process Networks ECOOP 2024
- P4BID: information flow control in p4 PLDI 2022
- Hypercollecting semantics and its application to static analysis of information flow POPL 2017
- Quantitative static analysis of distributed systems JFP 2005