Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Farina, Gian Pietro"'
Differential privacy is a de facto standard in data privacy with applications in the private and public sectors. Most of the techniques that achieve differential privacy are based on a judicious use of randomness. However, reasoning about randomized
Externí odkaz:
http://arxiv.org/abs/2007.12987
Symbolic execution is a classical program analysis technique used to show that programs satisfy or violate given specifications. In this work we generalize symbolic execution to support program analysis for relational specifications in the form of re
Externí odkaz:
http://arxiv.org/abs/1711.08349
Autor:
Barthe, Gilles, Farina, Gian Pietro, Gaboardi, Marco, Arias, Emilio Jesùs Gallego, Gordon, Andy, Hsu, Justin, Strub, Pierre-Yves
We present PrivInfer, an expressive framework for writing and verifying differentially private Bayesian machine learning algorithms. Programs in PrivInfer are written in a rich functional probabilistic programming language with constructs for perform
Externí odkaz:
http://arxiv.org/abs/1605.00283