@misc{indiciaec8fe7fc45f6b, title = {On the Compositionality of Dynamic Leakage and Its Application to the Quantification Problem}, author = {Bao Trung Chu and Kenji Hashimoto and Hiroyuki Seki}, year = {2019}, url = {https://arxiv.org/abs/1905.04409}, note = {Source identifier: 1905.04409} }