TY - RPRT TI - Quantifying Dynamic Leakage: Complexity Analysis and Model Counting-based Calculation AU - Bao Trung Chu AU - Kenji Hashimoto AU - Hiroyuki Seki PY - 2019 DO - 10.1587/transinf.2019edp7132 UR - https://arxiv.org/abs/1903.03802 ID - 1903.03802 ER -