279 citations · 1.1k across the 46 of their papers we have counts for
5 papers · 1 filter
The Complexity of Verifying Boolean Programs as Differentially Private
Mark Bun, Marco Gaboardi, Ludmila Glinskih
We study the complexity of the problem of verifying differential privacy for while-like programs working over boolean values and making probabilistic choices. Programs in this clas…
Continual Release of Differentially Private Synthetic Data from Longitudinal Data Collections
Mark Bun, Marco Gaboardi, Marcel Neunhoeffer +1
Motivated by privacy concerns in long-term longitudinal studies in medical and social science research, we study the problem of continually releasing differentially private synthet…
A Formal Model for Secure Multiparty Computation
Amy Rathore, Marina Blanton, Marco Gaboardi +1
Although Secure Multiparty Computation (SMC) has seen considerable development in recent years, its use is challenging, resulting in complex code which obscures whether the securit…
Stability is Stable: Connections between Replicability, Privacy, and Adaptive Generalization
Mark Bun, Marco Gaboardi, Max Hopkins +5
The notion of replicable algorithms was introduced in Impagliazzo et al. [STOC '22] to describe randomized algorithms that are stable under the resampling of their inputs. More pre…
Differentially Private Confidence Intervals for Proportions under Stratified Random Sampling
Shurong Lin, Mark Bun, Marco Gaboardi +2
Confidence intervals are a fundamental tool for quantifying the uncertainty of parameters of interest. With the increase of data privacy awareness, developing a private version of…