AutoPriv: Automating Differential Privacy Proofs

By Danfeng Zhang, Daniel Kifer. 2016

Citations in the corpus

• Advanced Probabilistic Couplings for Differential Privacy (2016, neutral): “In promising recent work, Zhang and Kifer [52] design a system to automatically verify differentially privacy for examples where the privacy proof uses tools beyond the standard composition theorem, including the Sparse Vector technique.”