Publications and Presentations
[In Submission] Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting
Lisa Oakley, Sam Stites, Cameron Moy, Steven Holtzen, Alina Oprea, Marco Gaboardi
[Poster] Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting
Lisa Oakley, Sam Stites, Cameron Moy, Steven Holtzen, Alina Oprea, Marco Gaboardi
Theory and Practice of Differential Privacy (TPDP) Workshop. (2026)
Code