research
∙
08/15/2023
A Floating-Point Secure Implementation of the Report Noisy Max with Gap Mechanism
The Noisy Max mechanism and its variations are fundamental private selec...
share
research
∙
05/14/2023
An Optimal and Scalable Matrix Mechanism for Noisy Marginals under Convex Loss Functions
Noisy marginals are a common form of confidentiality-protecting data rel...
research
∙
11/30/2022
Answering Private Linear Queries Adaptively using the Common Mechanism
When analyzing confidential data through a privacy filter, a data scient...
research
∙
09/08/2022
Reconstruction Attacks on Aggressive Relaxations of Differential Privacy
Differential privacy is a widely accepted formal privacy definition that...
research
∙
08/29/2022
Demystifying Arch-hints for Model Extraction: An Attack in Unified Memory System
The deep neural network (DNN) models are deemed confidential due to thei...
research
∙
02/02/2022
Exact Privacy Analysis of the Gaussian Sparse Histogram Mechanism
Sparse histogram methods can be useful for returning differentially priv...
research
∙
09/16/2021
Towards a General-Purpose Dynamic Information Flow Policy
Noninterference offers a rigorous end-to-end guarantee for secure propag...
research
∙
09/15/2021
DPGen: Automated Program Synthesis for Differential Privacy
Differential privacy has become a de facto standard for releasing data i...
research
∙
09/04/2021
Understanding TEE Containers, Easy to Use? Hard to Trust
As an emerging technique for confidential computing, trusted execution e...
research
∙
05/15/2021
The Permute-and-Flip Mechanism is Identical to Report-Noisy-Max with Exponential Noise
The permute-and-flip mechanism is a recently proposed differentially pri...
research
∙
12/02/2020
Free Gap Estimates from the Exponential Mechanism, Sparse Vector, Noisy Max and Related Algorithms
Private selection algorithms, such as the Exponential Mechanism, Noisy M...
research
∙
11/30/2020
Optimizing Fitness-For-Use of Differentially Private Linear Queries
In practice, differentially private data releases are designed to suppor...
research
∙
08/17/2020
CheckDP: An Automated and Integrated Approach for Proving Differential Privacy or Finding Precise Counterexamples
We propose CheckDP, the first automated and integrated approach for prov...
research
∙
02/10/2020
Guidelines for Implementing and Auditing Differentially Private Systems
Differential privacy is an information theoretic constraint on algorithm...
research
∙
05/30/2019
Identifying Cache-Based Side Channels through Secret-Augmented Abstract Interpretation
Cache-based side channels enable a dedicated attacker to reveal program ...
research
∙
04/29/2019
Free Gap Information from the Differentially Private Sparse Vector and Noisy Max Mechanisms
Noisy Max and Sparse Vector are selection algorithms for differential pr...
research
∙
03/28/2019
Proving Differential Privacy with Shadow Execution
Recent work on formal verification of differential privacy shows a trend...
research
∙
05/25/2018
Toward Detecting Violations of Differential Privacy
The widespread acceptance of differential privacy has led to the publica...
research
∙
06/05/2017