Preserving differential privacy under finite-precision semantics

DOI10.1016/j.tcs.2016.01.015zbMath1419.94036arXiv1306.2691OpenAlexW1967818063MaRDI QIDQ507371

Catuscia Palamidessi, Ivan Gazeau, Dale A. Miller

Publication date: 6 February 2017

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1306.2691

zbMATH Keywords

differential privacyfinite-precision arithmeticrobustness to errors

Mathematics Subject Classification ID

Cryptography (94A60) Privacy of data (68P27)

Related Items (4)

Efficient noise generation to achieve differential privacy with applications to secure multiparty computation ⋮ Secure random sampling in differential privacy ⋮ Model checking differentially private properties ⋮ Differential Privacy on Finite Computers

Uses Software

• PrivateLR
• LeakWatch

Cites Work

• Unnamed Item
• Computer security -- ESORICS 2014. 19th European symposium on research in computer security, Wrocław, Poland, September 7--11, 2014. Proceedings, Part II
• Linear dependent types for differential privacy
• Probabilistic relational reasoning for differential privacy
• Our Data, Ourselves: Privacy Via Distributed Noise Generation
• The $\infty$-Wasserstein Distance: Local Solutions and Existence of Optimal Transport Maps
• Theory of Cryptography
• Differential Privacy

This page was built for publication: Preserving differential privacy under finite-precision semantics