Quantitative Information Flow: From Theory to Practice?
Abstract elided by the publisher.
Related papers
- Scalable Approximation of Quantitative Information Flow in Programs VMCAI 2018
- Quantitative information flow as network flow capacity PLDI 2008
- Quantitative strongest post: a calculus for reasoning about the flow of quantitative information OOPSLA 2022
- Reconciling Shannon and Scott with a Lattice of Computable Information POPL 2023
- Idris 2: Quantitative Type Theory in Practice ECOOP 2021
- A model counter for constraints over unbounded strings PLDI 2014
- Practical and Accurate Low-Level Pointer Analysis CGO 2005
- Dependent Type Theory for Verification of Information Flow and Access Control Policies TOPLAS 2013