What this work contributes
Provides the DiPAut software artifact for checking differential privacy of online randomized algorithms, with a versioned Zenodo record and a public implementation repository.
When to read this work
Use this artifact alongside the CCS 2023 paper when looking for the implementation of automata-based privacy checking or a versioned software citation.
Topics: Differential privacy · Formal verification · Online algorithms · Research software
Cite this work
Download BibTeX · Download RIS
@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}
}