The Complexity of Verifying Boolean Programs as Differentially Private

8 September 2023

Papers citing "The Complexity of Verifying Boolean Programs as Differentially Private"

5 / 5 papers shown

Title
Programming Frameworks for Differential Privacy Marco Gaboardi Michael Hay Salil P. Vadhan 25 1 0 17 Mar 2024
Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting Lisa Oakley Steven Holtzen Alina Oprea 25 0 0 26 Feb 2024
Deciding Differential Privacy of Online Algorithms with Multiple Variables Rohit Chadha A. Sistla Mahesh Viswanathan Bishnu Bhusal 15 4 0 12 Sep 2023
A Randomized Approach for Tight Privacy Accounting Jiachen T. Wang Saeed Mahloujifar Tong Wu R. Jia Prateek Mittal 21 9 0 17 Apr 2023
LightDP: Towards Automating Differential Privacy Proofs Danfeng Zhang Daniel Kifer 18 72 0 27 Jul 2016