Hengchu Zhang

Fuzzi: A Three-Level Logic for Differential Privacy

2019 · arXiv (Cornell University)

Curators of sensitive datasets sometimes need to know whether queries against the data are differentially private [Dwork et al. 2006]. Two sorts of logics have been proposed for checking this property: (1) type systems and …