Beyond Differential Privacy: Composition Theorems and Relational Logic for f-divergences between Probabilistic Programs
From MaRDI portal
Publication:5327422
DOI10.1007/978-3-642-39212-2_8zbMath1335.68043OpenAlexW2207879440MaRDI QIDQ5327422
Gilles Barthe, Federico Olmedo
Publication date: 7 August 2013
Published in: Automata, Languages, and Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-39212-2_8
Database theory (68P15) Logic in computer science (03B70) Measures of information, entropy (94A17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Unnamed Item, Divergences on monads for relational program logics, Asymmetric Distances for Approximate Differential Privacy, Approximate relational Hoare logic for continuous random samplings, Generalized Differential Privacy: Regions of Priors That Admit Robust Optimal Mechanisms
Uses Software
