LightDP: Towards Automating Differential Privacy Proofs

27 July 2016

Papers citing "LightDP: Towards Automating Differential Privacy Proofs"

10 / 10 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 6 1 0 06 May 2022
DPGen: Automated Program Synthesis for Differential Privacy Yuxin Wang Zeyu Ding Yingtai Xiao Daniel Kifer Danfeng Zhang SyDa 30 12 0 15 Sep 2021
DDUO: General-Purpose Dynamic Analysis for Differential Privacy Chiké Abuah Alex Silence David Darais Joseph P. Near 28 12 0 16 Mar 2021
Learning Differentially Private Mechanisms Subhajit Roy Justin Hsu Aws Albarghouthi FedML SyDa 30 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 21 6 0 02 Dec 2020
Deciding Accuracy of Differential Privacy Schemes Gilles Barthe Rohit Chadha Paul Krogmeier A. Sistla Mahesh Viswanathan 19 10 0 12 Nov 2020
The Next 700 Relational Program Logics K. Maillard Cătălin Hriţcu Exequiel Rivas Antoine Van Muylder 18 34 0 11 Jul 2019
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 14 24 0 28 Feb 2017