McFIL: Model Counting Functionality-Inherent Leakage.

Maximilian Zinkus Yinzhi Cao Matthew D. Green

Published in: USENIX Security Symposium (2023)

Keyphrases

model counting
weighted model counting
knowledge compilation
satisfiability testing
polynomial size
machine learning
probabilistic model
probabilistic inference