Login / Signup
Obtaining Information Leakage Bounds via Approximate Model Counting.
Seemanta Saha
Surendra Ghentiyala
Shihua Lu
Lucas Bang
Tevfik Bultan
Published in:
Proc. ACM Program. Lang. (2023)
Keyphrases
</>
information leakage
model counting
weighted model counting
personal information
upper bound
lower bound
upper and lower bounds
sensitive information
knowledge compilation
polynomial size
secret information
database
database systems
satisfiability testing