TY - RPRT TI - On the Compositionality of Dynamic Leakage and Its Application to the Quantification Problem AU - Bao Trung Chu AU - Kenji Hashimoto AU - Hiroyuki Seki PY - 2019 UR - https://arxiv.org/abs/1905.04409 ID - 1905.04409 ER -