@inproceedings{chadha2023ccs,
  title = {Deciding Differential Privacy of Online Algorithms with Multiple Variables},
  author = {Chadha, Rohit and Sistla, A. Prasad and Viswanathan, Mahesh and Bhusal, Bishnu},
  booktitle = {Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security},
  series = {CCS '23},
  pages = {1761--1775},
  year = {2023},
  month = nov,
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  isbn = {9798400700507},
  doi = {10.1145/3576915.3623170},
  url = {https://doi.org/10.1145/3576915.3623170},
  eprint = {2309.06615},
  archiveprefix = {arXiv},
  keywords = {automata, decision procedure, differential privacy, verification}
}