Author:
Liu Depeng,Wang Bow-Yaw,Zhang Lijun
Publisher
Springer International Publishing
Reference35 articles.
1. Albarghouthi, A., Hsu, J.: Synthesizing coupling proofs of differential privacy. Proc. ACM Program. Lang. 2(POPL), 1–30 (2017)
2. Apple: About privacy and location services in IOS and IPADOS (2020). https://support.apple.com/en-us/HT203033/. Accessed 9 Sept 2021
3. Barthe, G., Chadha, R., Jagannath, V., Sistla, A., Viswanathan, M.: Deciding differential privacy for programs with finite inputs and outputs, pp. 141–154 (2020). https://doi.org/10.1145/3373718.3394796
4. Barthe, G., Chadha, R., Jagannath, V., Sistla, A.P., Viswanathan, M.: Automated methods for checking differential privacy. CoRR abs/1910.04137 (2019). http://arxiv.org/abs/1910.04137
5. Barthe, G., Gaboardi, M., Grégoire, B., Hsu, J., Strub, P.Y.: Proving differential privacy via probabilistic couplings (2016)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献