Proving Differential Privacy via Probabilistic Couplings

Over the last decade, differential privacy has achieved widespread adoption within the privacy community. Moreover, it has attracted significant attention from the verification community, resulting in several successful tools for formally proving differential privacy. Although their technical approa...

Ausführliche Beschreibung