A. Prasad Sistla | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Gilles Barthe
30 publications
Mahesh Viswanathan
21 publications
Rohit Chadha
5 publications
Paul Krogmeier
5 publications
Vishal Jagannath
1 publication
Bishnu Bhusal
1 publication

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...

0 Rohit Chadha, et al. ∙

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...

0 Rohit Chadha, et al. ∙

research

∙ 11/12/2020

Deciding Accuracy of Differential Privacy Schemes

Differential privacy is a mathematical framework for developing statisti...

0 Gilles Barthe, et al. ∙

research

∙ 10/09/2019

Automated Methods for Checking Differential Privacy

Differential privacy is a de facto standard for statistical computations...

0 Gilles Barthe, et al. ∙