Bishnu Bhusal, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan: Approximate Algorithms for Verifying Differential Privacy with Gaussian Distributions. CCS 2025: 1439-1453