v1v2v3 (latest)

The Complexity of Verifying Loop-Free Programs as Differentially Private

8 November 2019

Papers citing "The Complexity of Verifying Loop-Free Programs as Differentially Private"

4 / 4 papers shown

Title
Detecting Violations of Differential Privacy Zeyu Ding Yuxin Wang Guanhong Wang Qiang Yan Daniel Kifer 53 139 0 25 May 2018
Understanding the Sparse Vector Technique for Differential Privacy Min Lyu D. Su Ninghui Li 46 166 0 05 Mar 2016
RAPPOR: Randomized Aggregatable Privacy-Preserving Ordinal Response Ulfar Erlingsson Vasyl Pihur Aleksandra Korolova 96 1,995 0 25 Jul 2014
Quantitative Information Flow - Verification Hardness and Possibilities Hirotoshi Yasuoka Tachio Terauchi 95 65 0 01 Apr 2010