DPGen: Automated Program Synthesis for Differential Privacy

9Citations
Citations of this article
15Readers
Mendeley users who have this article in their library.

Abstract

Differential privacy has become a de facto standard for releasing data in a privacy-preserving way. Creating a differentially private algorithm is a process that often starts with a noise-free (non-private) algorithm. The designer then decides where to add noise, and how much of it to add. This can be a non-trivial process - if not done carefully, the algorithm might either violate differential privacy or have low utility. In this paper, we present DPGen, a program synthesizer that takes in non-private code (without any noise) and automatically synthesizes its differentially private version (with carefully calibrated noise). Under the hood, DPGen uses novel algorithms to automatically generate a sketch program with candidate locations for noise, and then optimize privacy proof and noise scales simultaneously on the sketch program. Moreover, DPGen can synthesize sophisticated mechanisms that adaptively process queries until a specified privacy budget is exhausted. When evaluated on standard benchmarks, DPGen is able to generate differentially private mechanisms that optimize simple utility functions within 120 seconds. It is also powerful enough to synthesize adaptive privacy mechanisms.

Cite

CITATION STYLE

APA

Wang, Y., DIng, Z., Xiao, Y., Kifer, D., & Zhang, D. (2021). DPGen: Automated Program Synthesis for Differential Privacy. In Proceedings of the ACM Conference on Computer and Communications Security (pp. 393–411). Association for Computing Machinery. https://doi.org/10.1145/3460120.3484781

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free