research
∙
09/08/2023
The Complexity of Verifying Boolean Programs as Differentially Private
We study the complexity of the problem of verifying differential privacy...
share
research
∙
06/13/2023
Continual Release of Differentially Private Synthetic Data
Motivated by privacy concerns in long-term longitudinal studies in medic...
research
∙
06/01/2023
A Formal Model for Secure Multiparty Computation
Although Secure Multiparty Computation (SMC) has seen considerable devel...
research
∙
03/22/2023
Stability is Stable: Connections between Replicability, Privacy, and Adaptive Generalization
The notion of replicable algorithms was introduced in Impagliazzo et al....
research
∙
02/03/2022
Bunched Fuzz: Sensitivity for Vector Metrics
"Program sensitivity" measures the distance between the outputs of a pro...
research
∙
11/29/2021
A Separation Logic for Negative Dependence
Formal reasoning about hashing-based probabilistic data structures often...
research
∙
07/22/2021
Multiclass versus Binary Differentially Private PAC Learning
We show a generic reduction from multiclass differentially private PAC l...
research
∙
07/02/2021
Higher-order probabilistic adversarial computations: Categorical semantics and program logics
Adversarial computations are a widely studied class of computations wher...
research
∙
06/24/2021
Covariance-Aware Private Mean Estimation Without Private Covariance Estimation
We present two sample-efficient differentially private mean estimators f...
research
∙
11/11/2020
Empirical Risk Minimization in the Non-interactive Local Model of Differential Privacy
In this paper, we study the Empirical Risk Minimization (ERM) problem in...
research
∙
07/25/2020
Coupled Relational Symbolic Execution for Differential Privacy
Differential privacy is a de facto standard in data privacy with applica...
research
∙
07/24/2020
Controlling Privacy Loss in Survey Sampling (Working Paper)
Social science and economics research is often based on data collected i...
research
∙
07/22/2020
Graded Hoare Logic and its Categorical Semantics
Deductive verification techniques, based on program logics (i.e., the fa...
research
∙
11/08/2019
The Complexity of Verifying Loop-free Programs as Differentially Private
We study the problem of verifying differential privacy for loop-free pro...
research
∙
11/08/2019
The Complexity of Verifying Circuits as Differentially Private
We study the problem of verifying differential privacy for straight line...
research
∙
10/26/2019
Facility Location Problem in Differential Privacy Model Revisited
In this paper we study the uncapacitated facility location problem in th...
research
∙
10/01/2019
Estimating Smooth GLM in Non-interactive Local Differential Privacy Model with Public Unlabeled Data
In this paper, we study the problem of estimating smooth Generalized Lin...
research
∙
09/10/2019
A Programming Framework for Differential Privacy with Accuracy Concentration Bounds
Differential privacy offers a formal framework for reasoning about priva...
research
∙
05/29/2019
Privacy Amplification by Mixing and Diffusion Mechanisms
A fundamental result in differential privacy states that the privacy gua...
research
∙
05/24/2019
Hypothesis Testing Interpretations and Renyi Differential Privacy
Differential privacy is the gold standard in data privacy, with applicat...
research
∙
12/12/2018
Bidirectional Type Checking for Relational Properties
Relational type systems have been designed for several applications incl...
research
∙
12/10/2018
Relational Cost Analysis for Functional-Imperative Programs
Relational cost analysis aims at formally establishing bounds on the dif...
research
∙
10/18/2018
Locally Private Mean Estimation: Z-test and Tight Confidence Intervals
This work provides tight upper- and lower-bounds for the problem of mean...
research
∙
07/16/2018
Formal verification of higher-order probabilistic programs
Probabilistic programming provides a convenient lingua franca for writin...
research
∙
07/13/2018
Probabilistic Relational Reasoning via Metrics
The Fuzz programming language [Reed and Pierce, 2010] uses an elegant li...
research
∙
07/13/2018
Metric Semantics for Probabilistic Relational Reasoning
The Fuzz programming language [Reed and Pierce, 2010] uses an elegant li...
research
∙
07/04/2018
Privacy Amplification by Subsampling: Tight Analyses via Couplings and Divergences
Differential privacy comes equipped with multiple analytical tools for t...
research
∙
03/14/2018
An Assertion-Based Program Logic for Probabilistic Programs
Research on deductive verification of probabilistic programs has conside...
research
∙
02/27/2018
Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus
We extend the simply-typed guarded λ-calculus with discrete probabilitie...
research
∙
02/12/2018
Efficient Empirical Risk Minimization with Smooth Loss Functions in Non-interactive Local Differential Privacy
In this paper, we study the Empirical Risk Minimization problem in the n...
research
∙
11/22/2017
Relational Symbolic Execution
Symbolic execution is a classical program analysis technique, widely use...
research
∙
10/24/2017