Zobrazeno 1 - 4
of 4
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
Autor:
Nobuko Yoshida
This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021.