TY - RPRT TI - McFIL: Model Counting Functionality-Inherent Leakage AU - Maximilian Zinkus AU - Yinzhi Cao AU - Matthew Green PY - 2023 UR - https://arxiv.org/abs/2306.05633 ID - 2306.05633 ER -