Published September 10, 2023
| Version v1.0.1
Conference paper
Open
DiPAut: A tool for checking differential privacy
- 1. University of Missouri - Columbia
- 2. University of Illinois at Chicago
- 3. University of Illinois at Urbana Champaign
Description
DiPAut is a software tool built in Python that checks the differential privacy of online randomized algorithms. It computes a bound "d" for the weight of the automaton, ensuring differential privacy for all privacy budgets "ε".
Files
bhusalb/DiPAut-v1.0.1.zip
Files
(375.2 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:7032b2289cca24b4e14400dfa3fba950
|
375.2 kB | Preview Download |
Additional details
Related works
- Is supplement to
- Conference proceeding: 10.1145/3576915.3623170 (DOI)
Funding
- U.S. National Science Foundation
- SHF: Medium: Collaborative Research: Verification of Differential Privacy Mechanisms 1900924
Software
- Repository URL
- https://github.com/bhusalb/DiPAut/tree/v1.0.1
- Programming language
- Python
- Development Status
- Active