Advanced Probabilistic Couplings for Differential Privacy-Reference-Cited by-同舟云学术

Advanced Probabilistic Couplings for Differential Privacy

Published:2016-10-24 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security
language:
Short-container-title:

Author:

Barthe Gilles¹,Fong Noémie²,Gaboardi Marco³,Grégoire Benjamin⁴,Hsu Justin⁵,Strub Pierre-Yves¹

Affiliation:

1. IMDEA Software Institute, Madrid, Spain

2. Ecole Normale Superieure, Paris, France

3. University at Buffalo, SUNY, Buffalo, NY, USA

4. INRIA, Sophia-Antipolis, France

5. University of Pennsylvania, Philadelphia, PA, USA

Funder

Simons Foundation

National Science Foundation

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2976749.2978391

Reference52 articles.

1. Geo-indistinguishability

2. Beyond Differential Privacy: Composition Theorems and Relational Logic for f-divergences between Probabilistic Programs

3. G. Barthe B. Grégoire J. Hsu and P.-Y. Strub. Coupling proofs are probabilistic product programs. G. Barthe B. Grégoire J. Hsu and P.-Y. Strub. Coupling proofs are probabilistic product programs.

4. Formal certification of code-based cryptographic proofs

5. Verified Computational Differential Privacy with Applications to Smart Metering

Cited by 31 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs;Proceedings of the ACM on Programming Languages;2024-08-15

2. Lower Bounds for Rényi Differential Privacy in a Black-Box Setting;2024 IEEE Symposium on Security and Privacy (SP);2024-05-19

3. DOMREP II;2024 IEEE International Symposium on Hardware Oriented Security and Trust (HOST);2024-05-06

4. Asynchronous Probabilistic Couplings in Higher-Order Separation Logic;Proceedings of the ACM on Programming Languages;2024-01-05

5. Detecting Violations of Differential Privacy for Quantum Algorithms;Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security;2023-11-15