中文
相关论文

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

200 篇论文

Differential privacy is a popular privacy model within the research community because of the strong privacy guarantee it offers, namely that the presence or absence of any individual in a data set does not significantly influence the…

密码学与安全 · 计算机科学 2017-02-09 Jordi Soria-Comas , Josep Domingo-Ferrer , David Sánchez , David Megías

Differential privacy is a rigorous, worst-case notion of privacy-preserving computation. Informally, a probabilistic program is differentially private if the participation of a single individual in the input database has a limited effect on…

计算机科学中的逻辑 · 计算机科学 2018-03-16 Gilles Barthe , Marco Gaboardi , Emilio Jesús Gallego Arias , Justin Hsu , César Kunz , Pierre-Yves Strub

Differential privacy is widely considered the formal privacy for privacy-preserving data analysis due to its robust and rigorous guarantees, with increasingly broad adoption in public services, academia, and industry. Despite originating in…

统计理论 · 数学 2024-12-05 Weijie J. Su

Differential privacy is a de facto standard for statistical computations over databases that contain private data. The strength of differential privacy lies in a rigorous mathematical definition that guarantees individual privacy and yet…

密码学与安全 · 计算机科学 2020-05-05 Gilles Barthe , Rohit Chadha , Vishal Jagannath , A. Prasad Sistla , Mahesh Viswanathan

Differential privacy is achieved by the introduction of Laplacian noise in the response to a query, establishing a precise trade-off between the level of differential privacy and the accuracy of the database response (via the amount of…

密码学与安全 · 计算机科学 2015-10-06 Maurizio Naldi , Giuseppe D'Acquisto

Differential privacy is a precise mathematical constraint meant to ensure privacy of individual pieces of information in a database even while queries are being answered about the aggregate. Intuitively, one must come to terms with what…

信息论 · 计算机科学 2016-08-15 Paul Cuff , Lanqing Yu

Differential privacy is the gold standard for statistical data release. Used by governments, companies, and academics, its mathematically rigorous guarantees and worst-case assumptions on the strength and knowledge of attackers make it a…

密码学与安全 · 计算机科学 2024-08-15 Kareem Amin , Alex Kulesza , Sergei Vassilvitskii

Differential privacy is a recent notion of privacy for statistical databases that provides rigorous, meaningful confidentiality guarantees, even in the presence of an attacker with access to arbitrary side information. We show that for a…

密码学与安全 · 计算机科学 2008-09-30 Adam Smith

We develop formal privacy mechanisms for releasing statistics from data with many outlying values, such as income data. These mechanisms ensure that a per-record differential privacy guarantee degrades slowly in the protected records'…

Differential privacy is a definition of "privacy'" for algorithms that analyze and publish information about statistical databases. It is often claimed that differential privacy provides guarantees against adversaries with arbitrary side…

密码学与安全 · 计算机科学 2023-01-24 Shiva Prasad Kasiviswanathan , Adam Smith

Since being proposed in 2006, differential privacy has become a standard method for quantifying certain risks in publishing or sharing analyses of sensitive data. At its heart, differential privacy measures risk in terms of the differences…

信息论 · 计算机科学 2025-11-19 Anand D. Sarwate , Flavio P. Calmon , Oliver Kosut , Lalitha Sankar

A mechanism for releasing information about a statistical database with sensitive data must resolve a trade-off between utility and privacy. Privacy can be rigorously quantified using the framework of {\em differential privacy}, which…

数据库 · 计算机科学 2009-03-20 Arpita Ghosh , Tim Roughgarden , Mukund Sundararajan

Differential Privacy (DP) is a formal definition of privacy that provides rigorous guarantees against risks of privacy breaches during data processing. It makes no assumptions about the knowledge or computational power of adversaries, and…

密码学与安全 · 计算机科学 2022-05-20 Roxana Danger

Differential privacy is a framework for privately releasing summaries of a database. Previous work has focused mainly on methods for which the output is a finite dimensional vector, or an element of some discrete set. We develop methods for…

机器学习 · 统计学 2012-03-13 Rob Hall , Alessandro Rinaldo , Larry Wasserman

The framework of differential privacy protects an individual's privacy while publishing query responses on congregated data. In this work, a new noise addition mechanism for differential privacy is introduced where the noise added is…

密码学与安全 · 计算机科学 2023-07-06 Gokularam Muthukrishnan , Sheetal Kalyani

Differential privacy is a cryptographically-motivated approach to privacy that has become a very active field of research over the last decade in theoretical computer science and machine learning. In this paradigm one assumes there is a…

机器学习 · 计算机科学 2023-08-02 Marco Avella-Medina

Differential privacy is a promising approach to privacy preserving data analysis with a well-developed theory for functions. Despite recent work on implementing systems that aim to provide differential privacy, the problem of formally…

密码学与安全 · 计算机科学 2011-01-17 Michael Carl Tschantz , Dilsun Kaynar , Anupam Datta

Differential privacy is becoming one gold standard for protecting the privacy of publicly shared data. It has been widely used in social science, data science, public health, information technology, and the U.S. decennial census.…

密码学与安全 · 计算机科学 2022-06-07 Xuan Bi , Xiaotong Shen

Differential privacy is a privacy measure based on the difficulty of discriminating between similar input data. In differential privacy analysis, similar data usually implies that their distance does not exceed a predetermined threshold.…

最优化与控制 · 数学 2021-06-25 Genki Sugiura , Kaito Ito , Kenji Kashima

Since its conception in 2006, differential privacy has emerged as the de-facto standard in data privacy, owing to its robust mathematical guarantees, generalised applicability and rich body of literature. Over the years, researchers have…

密码学与安全 · 计算机科学 2019-07-05 Naoise Holohan , Stefano Braghin , Pól Mac Aonghusa , Killian Levacher
‹ 上一页 1 2 3 10 下一页 ›