@inproceedings{bhusal2025ccs,
  title = {Approximate Algorithms for Verifying Differential Privacy with Gaussian Distributions},
  author = {Bhusal, Bishnu and Chadha, Rohit and Sistla, A. Prasad and Viswanathan, Mahesh},
  booktitle = {Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security},
  series = {CCS '25},
  pages = {1439--1453},
  year = {2025},
  month = oct,
  publisher = {Association for Computing Machinery},
  doi = {10.1145/3719027.3765043},
  url = {https://doi.org/10.1145/3719027.3765043},
  eprint = {2509.08804},
  archiveprefix = {arXiv},
  keywords = {Differential Privacy, Verification, Gaussian Distribution, Tail Bounds, Approximation Algorithms}
}