ResearchTrend.AI
The Complexity of Verifying Boolean Programs as Differentially Private

The Complexity of Verifying Boolean Programs as Differentially Private

Mark Bun
Marco Gaboardi
Ludmila Glinskih
ArXiv (abs)PDFHTML

Papers citing "The Complexity of Verifying Boolean Programs as Differentially Private"

1 / 1 papers shown
Title
Programming Frameworks for Differential Privacy
Programming Frameworks for Differential Privacy
Marco Gaboardi
Michael Hay
Salil P. Vadhan
73
1
0
17 Mar 2024

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.