6 citations · 6 across the 1 of their papers we have counts for
1 paper
Mark Bun, Marco Gaboardi, Ludmila Glinskih
We study the complexity of the problem of verifying differential privacy for while-like programs working over boolean values and making probabilistic choices. Programs in this clas…