2 citations · 2 across the 1 of their papers we have counts for
2 papers
cs.CR2020
Testing Differential Privacy with Dual Interpreters
Hengchu Zhang, Edo Roth, Andreas Haeberlen +2
Applying differential privacy at scale requires convenient ways to check that programs computing with sensitive data appropriately preserve privacy. We propose here a fully automat…
cs.PL2019★ 2 cited
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…