Fuzzi: A Three-Level Logic for Differential Privacy

Hengchu Zhang, Edo Roth, Andreas Haeberlen +2

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 ch…