Featherweight PINQ
Artikel i vetenskaplig tidskrift, 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

Författare

Hamid Ebadi Tavallaei

Informationssäkerhet

David Sands

Informationssäkerhet

Journal of Privacy and Confidentiality

Vol. 7 159-164 7

Styrkeområden

Informations- och kommunikationsteknik

Ämneskategorier

Datavetenskap (datalogi)

Datorsystem

Matematisk analys