Differentially Private Bayesian Programming

Gilles Barthe, Gian Pietro Farina, Marco Gaboardi +4

We present PrivInfer, an expressive framework for writing and verifying differentially private Bayesian machine learning algorithms. Programs in PrivInfer are written in a rich fun…