TY  - RPRT
TI  - Source-level reasoning for quantitative information flow
AU  - Chris Chen
AU  - Annabelle McIver
AU  - Carroll Morgan
PY  - 2024
DO  - 10.1007/978-3-031-75783-9_5
UR  - https://arxiv.org/abs/2405.13416
ID  - 2405.13416
ER  -