Quantifying Dynamic Leakage: Complexity Analysis and Model Counting-based Calculation.

Bao Trung Chu Kenji Hashimoto Hiroyuki Seki

Published in: CoRR (2019)

Keyphrases

complexity analysis
model counting
theoretical analysis
lower bound
weighted model counting
artificial intelligence
uniform distribution