Scalable Approximation of Quantitative Information Flow in Programs
No abstract available.
Related papers
- SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits PLDI 2026
- ANOSY: approximated knowledge synthesis with refinement types for declassification PLDI 2022
- Obtaining Information Leakage Bounds via Approximate Model Counting PLDI 2023
- Quantitative Information Flow: From Theory to Practice? CAV 2010
- Quantitative information flow as network flow capacity PLDI 2008
- Hypercollecting semantics and its application to static analysis of information flow POPL 2017
- Quantitative strongest post: a calculus for reasoning about the flow of quantitative information OOPSLA 2022
- Engineering an Efficient Probabilistic Exact Model Counter CAV 2025