Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting

26 February 2024

Papers citing "Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting"

2 / 2 papers shown

Title
DPGen: Automated Program Synthesis for Differential Privacy Yuxin Wang Zeyu Ding Yingtai Xiao Daniel Kifer Danfeng Zhang SyDa 43 12 0 15 Sep 2021
LightDP: Towards Automating Differential Privacy Proofs Danfeng Zhang Daniel Kifer 35 72 0 27 Jul 2016