279 citations · 1.1k across the 46 of their papers we have counts for
4 papers · 1 filter
Empirical Risk Minimization in the Non-interactive Local Model of Differential Privacy
Di Wang, Marco Gaboardi, Adam Smith +1
In this paper, we study the Empirical Risk Minimization (ERM) problem in the non-interactive Local Differential Privacy (LDP) model. Previous research on this problem \citep{smith2…
Coupled Relational Symbolic Execution for Differential Privacy
Gian Pietro Farina, Stephen Chong, Marco Gaboardi
Differential privacy is a de facto standard in data privacy with applications in the private and public sectors. Most of the techniques that achieve differential privacy are based…
Controlling Privacy Loss in Sampling Schemes: an Analysis of Stratified and Cluster Sampling
Mark Bun, Jörg Drechsler, Marco Gaboardi +2
Sampling schemes are fundamental tools in statistics, survey design, and algorithm design. A fundamental result in differential privacy is that a differentially private mechanism r…
Graded Hoare Logic and its Categorical Semantics
Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard +1
Deductive verification techniques based on program logics (i.e., the family of Floyd-Hoare logics) are a powerful approach for program reasoning. Recently, there has been a trend o…