research
∙
09/12/2023
Deciding Differential Privacy of Online Algorithms with Multiple Variables
We consider the problem of checking the differential privacy of online r...
share
research
∙
01/27/2023
Stack-Aware Hyperproperties
A hyperproperty relates executions of a program and is used to formalize...
research
∙
04/29/2021
On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs
We introduce an automata model for describing interesting classes of dif...
research
∙
11/12/2020
Deciding Accuracy of Differential Privacy Schemes
Differential privacy is a mathematical framework for developing statisti...
research
∙
10/09/2019