Search Results - Specifying AND Verifying AND Reasoning about Programs General Terms Algorithms

Proving Differential Privacy via Probabilistic Couplings by 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…”
Get full text