Skip to Main content Skip to Navigation
Journal articles

Preserving differential privacy under finite-precision semantics

Ivan Gazeau 1, 2 Dale Miller 2, 3 Catuscia Palamidessi 1, 3, 4
1 COMETE - Concurrency, Mobility and Transactions
Inria Saclay - Ile de France, LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
2 PARSIFAL - Proof search and reasoning with logic specifications
Inria Saclay - Ile de France, LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
Abstract : The approximation introduced by finite-precision representation of continuous data can induce arbitrarily large information leaks even when the computation using exact semantics is secure. Such leakage can thus undermine design efforts aimed at protecting sensitive information. We focus here on differential privacy, an approach to privacy that emerged from the area of statistical databases and is now widely applied also in other domains. In this approach, privacy is protected by adding noise to the values correlated to the private data. The typical mechanisms used to achieve differential privacy have been proved correct in the ideal case in which computations are made using infinite-precision semantics. In this paper, we analyze the situation at the implementation level, where the semantics is necessarily limited by finite precision, i.e., the representation of real numbers and the operations on them are rounded according to some level of precision. We show that in general there are violations of the differential privacy property, and we study the conditions under which we can still guarantee a limited (but, arguably, acceptable) variant of the property, under only a minor degradation of the privacy level. Finally, we illustrate our results on two examples: the standard Laplacian mechanism commonly used in differential privacy, and a bivariate version of it recently introduced in the setting of privacy-aware geolocation.
Complete list of metadatas

Cited literature [17 references]  Display  Hide  Download

https://hal.inria.fr/hal-01390927
Contributor : Dale Miller <>
Submitted on : Wednesday, November 2, 2016 - 3:55:27 PM
Last modification on : Thursday, March 5, 2020 - 6:33:43 PM
Document(s) archivé(s) le : Friday, February 3, 2017 - 2:21:52 PM

File

gazeau-draft-2014.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01390927, version 1

Collections

Citation

Ivan Gazeau, Dale Miller, Catuscia Palamidessi. Preserving differential privacy under finite-precision semantics. Theoretical Computer Science, Elsevier, 2016. ⟨hal-01390927⟩

Share

Metrics

Record views

495

Files downloads

371