Weighted Model Counting for Synthesizing Tight Privacy and Accuracy Bounds

[back to lisaoakley.github.io]

Publications and Presentations

[Conference Paper] Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting
Lisa Oakley, Steven Holtzen, Alina Oprea
In 37th IEEE Computer Security Foundations Symposium (CSF). 2024.
[preprint] [code]

[Poster] Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting
Lisa Oakley, Steven Holtzen, Alina Oprea
Theory and Practice of Differential Privacy (TPDP) Workshop. (2024)

Code

Synthesis Code [code]