@misc{bhusal2023dipaut,
  title = {DiPAut: A Tool for Checking Differential Privacy of Online Randomized Algorithms},
  author = {Bhusal, Bishnu and Chadha, Rohit and Sistla, A. Prasad and Viswanathan, Mahesh},
  howpublished = {Zenodo},
  year = {2023},
  month = sep,
  doi = {10.5281/zenodo.8332275},
  url = {https://doi.org/10.5281/zenodo.8332275}
}