10 citations · 19 across the 5 of their papers we have counts for
1 paper · 1 filter
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…