Source-level reasoning for quantitative information flow - Chen, Chris (arXiv.org)