Featherweight PINQ
Authors: Hamid Ebadi, David Sands
Venue: Journal of Privacy and Confidentiality (2017)
Abstract
Differentially private mechanisms enjoy a variety of composition properties. Leveraging these, McSherry introduced PINQ (SIGMOD 2009), a system empowering non-experts to construct new differentially private analyses. PINQ is a LINQ-like API which provides automatic privacy guarantees for all programs which use it to mediate sensitive data manipulation.
In this work we introduce featherweight PINQ, a formal model capturing the essence of PINQ. We prove that any program interacting with featherweight PINQ’s API is differentially private.
Keywords: Differential privacy, dynamic database, PINQ, Formalization
Citation
Ebadi, H., and Sands, D. (2017). Featherweight PINQ. Journal of Privacy and Confidentiality.