Search Results for author: Hengchu Zhang

Found 1 papers, 0 papers with code

Fuzzi: A Three-Level Logic for Differential Privacy

no code implementations29 May 2019 Hengchu Zhang, Edo Roth, Andreas Haeberlen, Benjamin C. Pierce, Aaron Roth

Curators of sensitive datasets sometimes need to know whether queries against the data are differentially private [Dwork et al. 2006].

Programming Languages Logic in Computer Science

Cannot find the paper you are looking for? You can Submit a new open access paper.