Showing cs.CRShow all
2 papers · 1 filter
cs.CR2025
Approximate Algorithms for Verifying Differential Privacy with Gaussian Distributions
Bishnu Bhusal, Rohit Chadha, A. Prasad Sistla +1
The verification of differential privacy algorithms that employ Gaussian distributions is little understood. This paper tackles the challenge of verifying such programs by introduc…
cs.CR2023
Deciding Differential Privacy of Online Algorithms with Multiple Variables
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan +1
We consider the problem of checking the differential privacy of online randomized algorithms that process a stream of inputs and produce outputs corresponding to each input. This p…