4 citations · 7 across the 5 of their papers we have counts for
1 paper · 1 filter
Marco Gaboardi, Kobbi Nissim, David Purser
We study the problem of verifying differential privacy for loop-free programs with probabilistic choice. Programs in this class can be seen as randomized Boolean circuits, which we…