Suchergebnisse - Specifying and Verifying and Reasoning about Programs General Terms Algorithms

Proving Differential Privacy via Probabilistic Couplings von Barthe, Gilles, Gaboardi, Marco, Grégoire, Benjamin, Hsu, Justin, Strub, Pierre-Yves

“… Although their technical approaches vary greatly, all existing tools rely on reasoning principles derived from the composition theorem of differential privacy …”
Volltext