Fuzzi: a three-level logic for differential privacy
Zhang, Hengchu; Roth, Edo; Haeberlen, Andreas; Pierce, Benjamin C.; Roth, Aaron
- 期刊名称Proceedings of the ACM on Programming Languages
- 作者Zhang, Hengchu; Roth, Edo; Haeberlen, Andreas; Pierce, Benjamin C.; Roth, Aaron
- 卷第3卷
- 电子ISSN2475-1421
- 文件大小459.36KB
- 发表时间2019-07-26
- DOI10.1145/3341697
- 页码1-28