Beyond Differential Privacy: Composition Theorems and Relational Logic for f-divergences between Probabilistic Programs.

Gilles Barthe, Federico Olmedo

Browse the full ICALP paper archive.