LightDP: Towards Automating Differential Privacy Proofs

27 July 2016

Papers citing "LightDP: Towards Automating Differential Privacy Proofs"

14 / 14 papers shown

Title
General-Purpose $f$ -DP Estimation and Auditing in a Black-Box Setting Önder Askin Holger Dette Martin Dunsche T. Kutta Yun Lu Yu Wei Vassilis Zikas 52 0 0 10 Feb 2025
The Complexity of Verifying Boolean Programs as Differentially Private Mark Bun Marco Gaboardi Ludmila Glinskih 21 4 0 08 Sep 2023
$Privacy accounting $\varepsilon$conomics: Improving differential privacy composition via a posteriori bounds$ Privacy accounting $\varepsilon$ conomics: Improving differential privacy composition via a posteriori bounds Valentin Hartmann Vincent Bindschaedler Alexander Bentkamp Robert West 21 1 0 06 May 2022
Reproducibility in Learning R. Impagliazzo Rex Lei T. Pitassi Jessica Sorrell 18 43 0 20 Jan 2022
DPGen: Automated Program Synthesis for Differential Privacy Yuxin Wang Zeyu Ding Yingtai Xiao Daniel Kifer Danfeng Zhang SyDa 43 12 0 15 Sep 2021
Statistical Quantification of Differential Privacy: A Local Approach Önder Askin T. Kutta Holger Dette 36 13 0 21 Aug 2021
DDUO: General-Purpose Dynamic Analysis for Differential Privacy Chiké Abuah Alex Silence David Darais Joseph P. Near 43 12 0 16 Mar 2021
Asymmetric Differential Privacy Shun Takagi Yang Cao Masatoshi Yoshikawa 31 6 0 01 Mar 2021
Learning Differentially Private Mechanisms Subhajit Roy Justin Hsu Aws Albarghouthi FedML SyDa 36 17 0 04 Jan 2021
Free Gap Estimates from the Exponential Mechanism, Sparse Vector, Noisy Max and Related Algorithms Zeyu Ding Yuxin Wang Yingtai Xiao Guanhong Wang Danfeng Zhang Daniel Kifer 31 6 0 02 Dec 2020
Deciding Accuracy of Differential Privacy Schemes Gilles Barthe Rohit Chadha Paul Krogmeier A. Sistla Mahesh Viswanathan 29 10 0 12 Nov 2020
The Next 700 Relational Program Logics K. Maillard Cătălin Hriţcu Exequiel Rivas Antoine Van Muylder 20 34 0 11 Jul 2019
Chorus: a Programming Framework for Building Scalable Differential Privacy Mechanisms Noah M. Johnson Joseph P. Near J. M. Hellerstein D. Song 16 24 0 20 Sep 2018
A Monadic Framework for Relational Verification: Applied to Information Security, Program Equivalence, and Optimizations Niklas Grimm K. Maillard Cédric Fournet Cătălin Hriţcu Matteo Maffei Jonathan Protzenko T. Ramananandro Aseem Rastogi Nikhil Swamy Santiago Zanella Béguelin 23 24 0 28 Feb 2017