2009 · 252 citations · 10 references
ComputingComputer ScienceDatabasesInformation TheoryRelease Of InformationData AnonymizationData PrivacyData ProtectionDatabase PrivacyDifferential PrivacyPrivacy ProtectionLaplace MechanismMechanism Design Under Private InformationOptimal Mechanism DesignPrivacy-utility TradeoffPrivate OptimizationPrivate Query AnsweringRandom NoiseUtility-privacy Tradeoff
A mechanism for releasing information about a statistical database with sensitive data must resolve a trade-off between utility and privacy. Publishing fully accurate information maximizes utility while minimizing privacy, while publishing random noise accomplishes the opposite. Privacy can be rigorously quantified using the framework of differential privacy, which requires that a mechanism's output distribution is nearly the same whether or not a given database row is included or excluded. The goal of this paper is strong and general utility guarantees, subject to differential privacy. We pursue mechanisms that guarantee near-optimal utility to every potential user, independent of its side information (modeled as a prior distribution over query results) and preferences (modeled via a loss function). Our main result is: for each fixed count query and differential privacy level, there is a geometric mechanism M* -- a discrete variant of the simple and well-studied Laplace mechanism -- that is simultaneously expected loss-minimizing for every possible user, subject to the differential privacy constraint. This is an extremely strong utility guarantee: every potential user u, no matter what its side information and preferences, derives as much utility from M* as from interacting with a differentially private mechanism Mu that is optimally tailored to u. More precisely, for every user u there is an optimal mechanism Mu for it that factors into a user-independent part (the geometric mechanism M*) followed by user-specific post-processing that can be delegated to the user itself. The first part of our proof of this result characterizes the optimal differentially private mechanism for a fixed but arbitrary user in terms of a certain basic feasible solution to a linear program with constraints that encode differential privacy. The second part shows that all of the relevant vertices of this polytope (ranging over all possible users) are derivable from the geometric mechanism via suitable remappings of its range.
10
Towards Sharp Inapproximability For Any 2-CSP
Per Austrin · 2007 · 1.4K citations
Smooth sensitivity and sampling in private data analysis
Kobbi Nissim, Sofya Raskhodnikova, Adam Smith · 2007 · 1K citations
Revealing information while preserving privacy
Irit Dinur, Kobbi Nissim · 2003 · 999 citations
Lars Bäckström, Cynthia Dwork, Jon Kleinberg · 2007 · 850 citations