Featherweight PINQ
Journal article, 2016

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 an 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.

differential privacy


Hamid Ebadi Tavallaei

Information Security

David Sands

Information Security

Journal of Privacy and Confidentiality

Vol. 7 159-164 7

Areas of Advance

Information and Communication Technology

Subject Categories

Computer Science

Computer Systems

Mathematical Analysis