Santiago Zanella Béguelin

Publications1
h-index1
Citations38
Highly Influential Citations3
Claim Author Page
Author pages are created from data sourced from our academic publisher partnerships and public sources.

Recommended Authors

  • P. Rogaway
  • 153 Publications • 29,350 Citations
  • M. Bellare
  • 287 Publications • 49,326 Citations
  • G. Barthe
  • 349 Publications • 7,958 Citations
  • M. Backes
  • 389 Publications • 12,550 Citations
  • Publications
  • Influence
Probabilistic relational reasoning for differential privacy
TLDR
The first machine-checked proofs of correctness of the Laplacian and Exponential mechanisms and of the privacy of randomized and streaming algorithms from the recent literature are provided.
View on ACM