中文
相关论文

相关论文: Formalization of Differential Privacy in Isabelle/…

200 篇论文

Differential privacy is becoming a gold standard for privacy research; it offers a guaranteed bound on loss of privacy due to release of query results, even under worst-case assumptions. The theory of differential privacy is an active…

The Horvitz-Thompson estimate of a total can be seen as as differentially private mechanism applied to this population total. We provide forumlae to compute the $\epsilon$ and $\delta$ parameter for this specific mecanism, coupled or not…

统计理论 · 数学 2025-06-18 Daniel Bernard Bonnéry , Julien Jamme

When querying databases containing sensitive information, the privacy of individuals stored in the database has to be guaranteed. Such guarantees are provided by differentially private mechanisms which add controlled noise to the query…

数据库 · 计算机科学 2020-08-26 William Lee Croft , Jörg-Rüdiger Sack , Wei Shi

We consider the setting where a user with sensitive features wishes to obtain a recommendation from a server in a differentially private fashion. We propose a ``multi-selection'' architecture where the server can send back multiple…

数据结构与算法 · 计算机科学 2024-07-23 Ashish Goel , Zhihao Jiang , Aleksandra Korolova , Kamesh Munagala , Sahasrajit Sarmasarkar

The paper aims to give an overview of various approaches to statistical disclosure control based on random noise that are currently being discussed for official population statistics and censuses. A particular focus is on a stringent…

统计方法学 · 统计学 2020-12-18 Fabian Bach

Differential privacy is a widely adopted framework designed to safeguard the sensitive information of data providers within a data set. It is based on the application of controlled noise at the interface between the server that stores and…

密码学与安全 · 计算机科学 2024-05-06 Rūta Binkytė , Carlos Pinzón , Szilvia Lestyán , Kangsoo Jung , Héber H. Arcolezi , Catuscia Palamidessi

Differential Privacy protects individuals' data when statistical queries are published from aggregated databases: applying "obfuscating" mechanisms to the query results makes the released information less specific but, unavoidably, also…

密码学与安全 · 计算机科学 2021-07-27 Natasha Fernandes , Annabelle McIver , Carroll Morgan

Differential privacy (DP) provides formal guarantees that the output of a database query does not reveal too much information about any individual present in the database. While many differentially private algorithms have been proposed in…

密码学与安全 · 计算机科学 2019-11-27 Royce J Wilson , Celia Yuxin Zhang , William Lam , Damien Desfontaines , Daniel Simmons-Marengo , Bryant Gipson

Differential privacy is a promising formal approach to data privacy, which provides a quantitative bound on the privacy cost of an algorithm that operates on sensitive information. Several tools have been developed for the formal…

计算机科学中的逻辑 · 计算机科学 2018-03-16 Gilles Barthe , Noémie Fong , Marco Gaboardi , Benjamin Grégoire , Justin Hsu , Pierre-Yves Strub

This work proposes an algorithmic method to verify differential privacy for estimation mechanisms with performance guarantees. Differential privacy makes it hard to distinguish outputs of a mechanism produced by adjacent inputs. While…

系统与控制 · 电气工程与系统科学 2021-12-03 Yunhai Han , Sonia Martínez

In modern settings of data analysis, we may be running our algorithms on datasets that are sensitive in nature. However, classical machine learning and statistical algorithms were not designed with these risks in mind, and it has been…

数据结构与算法 · 计算机科学 2021-08-21 Huanyu Zhang

Differential privacy formalises privacy-preserving mechanisms that provide access to a database. We pose the question of whether Bayesian inference itself can be used directly to provide private access to data, with no modification. The…

In the highly interconnected realm of Internet of Things, exchange of sensitive information raises severe privacy concerns. The Laplace mechanism -- adding Laplace-distributed artificial noise to sensitive data -- is one of the widely used…

密码学与安全 · 计算机科学 2015-04-09 Fragkiskos Koufogiannis , Shuo Han , George J. Pappas

This work studies formal utility and privacy guarantees for a simple multiplicative database transformation, where the data are compressed by a random linear or affine transformation, reducing the number of data records substantially, while…

机器学习 · 统计学 2009-01-13 Shuheng Zhou , Katrina Ligett , Larry Wasserman

Differential privacy is a modern approach in privacy-preserving data analysis to control the amount of information that can be inferred about an individual by querying a database. The most common techniques are based on the introduction of…

密码学与安全 · 计算机科学 2012-07-05 Catuscia Palamidessi , Marco Stronati

Popular approaches to differential privacy, such as the Laplace and exponential mechanisms, calibrate randomised smoothing through global sensitivity of the target non-private function. Bounding such sensitivity is often a prohibitively…

机器学习 · 计算机科学 2017-06-12 Benjamin I. P. Rubinstein , Francesco Aldà

Differential privacy (DP) has become the de facto standard of privacy preservation due to its strong protection and sound mathematical foundation, which is widely adopted in different applications such as big data analysis, graph data…

密码学与安全 · 计算机科学 2021-12-06 Honglu Jiang , Yifeng Gao , S M Sarwar , Luis GarzaPerez , Mahmudul Robin

In recent years, differential privacy has emerged as the de facto standard for sharing statistics of datasets while limiting the disclosure of private information about the involved individuals. This is achieved by randomly perturbing the…

密码学与安全 · 计算机科学 2024-12-18 Aras Selvi , Huikang Liu , Wolfram Wiesemann

Machine learning models should not reveal particular information that is not otherwise accessible. Differential privacy provides a formal framework to mitigate privacy risks by ensuring that the inclusion or exclusion of any single data…

密码学与安全 · 计算机科学 2026-03-12 Francisco Aguilera-Martínez , Fernando Berzal

As the use of differential privacy (DP) becomes widespread, the development of effective tools for reasoning about the privacy guarantee becomes increasingly critical. In pursuit of this goal, we demonstrate novel relationships between DP…

密码学与安全 · 计算机科学 2025-07-15 Zeki Kazan , Sagar Sharma , Wanrong Zhang , Bo Jiang , Qiang Yan