Deciding Differential Privacy for Programs with Finite Inputs and Outputs-Reference-Cited by-同舟云学术

Deciding Differential Privacy for Programs with Finite Inputs and Outputs

Published:2020-07-08 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
language:
Short-container-title:

Author:

Barthe Gilles¹,Chadha Rohit²,Jagannath Vishal³,Sistla A. Prasad⁴,Viswanathan Mahesh³

Affiliation:

1. MPI Security and Privacy and IMDEA, Software Institute, Germany

2. University of Missouri, USA

3. University of Illinois at Urbana-Campaign, USA

4. University of Illinois at Chicago, USA

Publisher

ACM

Link

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

Reference34 articles.

1. Aws Albarghouthi and Justin Hsu. 2018. Synthesizing coupling proofs of differential privacy. PACMPL 2 POPL (2018) 58:1--58:30. Aws Albarghouthi and Justin Hsu. 2018. Synthesizing coupling proofs of differential privacy. PACMPL 2 POPL (2018) 58:1--58:30.

2. C. Baier and J.-P. Katoen. 2008. Principles of Model Checking. MIT Press. C. Baier and J.-P. Katoen. 2008. Principles of Model Checking. MIT Press.

3. Gilles Barthe Rohit Chadha Vishal Jagannath A. Prasad Sistla and Mahesh Viswanathan. 2019. Differential Privacy Checker (DiPC). https://anonymous.4open.science/repository/febcbe47-1c53-41db- be91-ea98b4cf18c1/. Gilles Barthe Rohit Chadha Vishal Jagannath A. Prasad Sistla and Mahesh Viswanathan. 2019. Differential Privacy Checker (DiPC). https://anonymous.4open.science/repository/febcbe47-1c53-41db- be91-ea98b4cf18c1/.

4. Gilles Barthe Rohit Chadha Vishal Jagannath A. Prasad Sistla and Mahesh Viswanathan. 2020. Deciding Differential Privacy for Programs with Finite Inputs and Outputs. arXiv:1910.04137 [cs.CR] Gilles Barthe Rohit Chadha Vishal Jagannath A. Prasad Sistla and Mahesh Viswanathan. 2020. Deciding Differential Privacy for Programs with Finite Inputs and Outputs. arXiv:1910.04137 [cs.CR]

5. Advanced Probabilistic Couplings for Differential Privacy

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

1. Group and Attack: Auditing Differential Privacy;Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security;2023-11-15

2. Contextual Linear Types for Differential Privacy;ACM Transactions on Programming Languages and Systems;2023-05-17

3. Model checking differentially private properties;Theoretical Computer Science;2023-01

4. Statistical Quantification of Differential Privacy: A Local Approach;2022 IEEE Symposium on Security and Privacy (SP);2022-05

5. Universal Equivalence and Majority of Probabilistic Programs over Finite Fields;ACM Transactions on Computational Logic;2022-01-31