2 papers
cs.CR2019
On the Compositionality of Dynamic Leakage and Its Application to the Quantification Problem
Bao Trung Chu, Kenji Hashimoto, Hiroyuki Seki
Quantitative information flow (QIF) is traditionally defined as the expected value of information leakage over all feasible program runs and it fails to identify vulnerable program…
cs.CR2019
Quantifying Dynamic Leakage: Complexity Analysis and Model Counting-based Calculation
Bao Trung Chu, Kenji Hashimoto, Hiroyuki Seki
A program is non-interferent if it leaks no secret information to an observable output. However, non-interference is too strict in many practical cases and quantitative information…