TY - JOUR AU - Ebadi, Hamid AU - Sands, David PY - 2017/01/12 Y2 - 2024/03/28 TI - Featherweight PINQ JF - Journal of Privacy and Confidentiality JA - JPC VL - 7 IS - 2 SE - Articles DO - 10.29012/jpc.v7i2.653 UR - https://journalprivacyconfidentiality.org/index.php/jpc/article/view/653 SP - AB - <div style="left: 259.55px; top: 378.789px; font-size: 14.944px; font-family: sans-serif; transform: scaleX(1.01737);">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.</div> ER -