Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting

Lisa Oakley; Steven Holtzen; Alina Oprea

doi:10.1109/CSF61375.2024.00048

Previous
Next
Table of Contents

2024 IEEE 37th Computer Security Foundations Symposium (CSF)

Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting

Year: 2024, Pages: 449-463

DOI Bookmark: 10.1109/CSF61375.2024.00048

Authors

Lisa Oakley, Khoury College of Computer Sciences, Northeastern University,Boston,USA
Steven Holtzen, Khoury College of Computer Sciences, Northeastern University,Boston,USA
Alina Oprea, Khoury College of Computer Sciences, Northeastern University,Boston,USA

Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting

Authors

Abstract