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...
Uloženo v:
| Vydáno v: | Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science s. 749 - 758 |
|---|---|
| Hlavní autoři: | , , , , |
| Médium: | Konferenční příspěvek |
| Jazyk: | angličtina |
| Vydáno: |
New York, NY, USA
ACM
05.07.2016
|
| Edice: | ACM Conferences |
| Témata: | |
| ISBN: | 9781450343916, 1450343910 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Buďte první, kdo okomentuje tento záznam!