
Multiclass versus Binary Differentially Private PAC Learning
We show a generic reduction from multiclass differentially private PAC l...
read it

Higherorder probabilistic adversarial computations: Categorical semantics and program logics
Adversarial computations are a widely studied class of computations wher...
read it

CovarianceAware Private Mean Estimation Without Private Covariance Estimation
We present two sampleefficient differentially private mean estimators f...
read it

Empirical Risk Minimization in the Noninteractive Local Model of Differential Privacy
In this paper, we study the Empirical Risk Minimization (ERM) problem in...
read it

Coupled Relational Symbolic Execution for Differential Privacy
Differential privacy is a de facto standard in data privacy with applica...
read it

Controlling Privacy Loss in Survey Sampling (Working Paper)
Social science and economics research is often based on data collected i...
read it

Graded Hoare Logic and its Categorical Semantics
Deductive verification techniques, based on program logics (i.e., the fa...
read it

The Complexity of Verifying Loopfree Programs as Differentially Private
We study the problem of verifying differential privacy for loopfree pro...
read it

The Complexity of Verifying Circuits as Differentially Private
We study the problem of verifying differential privacy for straight line...
read it

Facility Location Problem in Differential Privacy Model Revisited
In this paper we study the uncapacitated facility location problem in th...
read it

Estimating Smooth GLM in Noninteractive Local Differential Privacy Model with Public Unlabeled Data
In this paper, we study the problem of estimating smooth Generalized Lin...
read it

A Programming Framework for Differential Privacy with Accuracy Concentration Bounds
Differential privacy offers a formal framework for reasoning about priva...
read it

Privacy Amplification by Mixing and Diffusion Mechanisms
A fundamental result in differential privacy states that the privacy gua...
read it

Hypothesis Testing Interpretations and Renyi Differential Privacy
Differential privacy is the gold standard in data privacy, with applicat...
read it

Bidirectional Type Checking for Relational Properties
Relational type systems have been designed for several applications incl...
read it

Relational Cost Analysis for FunctionalImperative Programs
Relational cost analysis aims at formally establishing bounds on the dif...
read it

Locally Private Mean Estimation: Ztest and Tight Confidence Intervals
This work provides tight upper and lowerbounds for the problem of mean...
read it

Formal verification of higherorder probabilistic programs
Probabilistic programming provides a convenient lingua franca for writin...
read it

Probabilistic Relational Reasoning via Metrics
The Fuzz programming language [Reed and Pierce, 2010] uses an elegant li...
read it

Metric Semantics for Probabilistic Relational Reasoning
The Fuzz programming language [Reed and Pierce, 2010] uses an elegant li...
read it

Privacy Amplification by Subsampling: Tight Analyses via Couplings and Divergences
Differential privacy comes equipped with multiple analytical tools for t...
read it

An AssertionBased Program Logic for Probabilistic Programs
Research on deductive verification of probabilistic programs has conside...
read it

Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus
We extend the simplytyped guarded λcalculus with discrete probabilitie...
read it

Efficient Empirical Risk Minimization with Smooth Loss Functions in Noninteractive Local Differential Privacy
In this paper, we study the Empirical Risk Minimization problem in the n...
read it

Relational Symbolic Execution
Symbolic execution is a classical program analysis technique, widely use...
read it

Reasoning about Divergences for Relaxations of Differential Privacy
We develop a semantics framework for verifying recent relaxations of dif...
read it
Marco Gaboardi
is this you? claim profile