Výsledky vyhledávání - Specifying and Verifying and Reasoning about Programs General Terms Algorithms

Proving Differential Privacy via Probabilistic Couplings Autor 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…”
Získat plný text