Author:
Liu Depeng,Wang Bow-Yaw,Zhang Lijun
Publisher
Springer International Publishing
Reference36 articles.
1. Alvim, M.S., Andrés, M.E., Chatzikokolakis, K., Degano, P., Palamidessi, C.: On the information leakage of differentially-private mechanisms. J. Comput. Secur. 23(4), 427–469 (2015)
2. Baier, C., Katoen, J.P.: Principles of Model Checking. The MIT Press, Cambridge (2008)
3. Lecture Notes in Computer Science;C Baier,2016
4. Barthe, G., Danezis, G., Grégoire, B., Kunz, C., Zanella-Béguelin, S.: Verified computational differential privacy with applications to smart metering. In: CSF, pp. 287–301. IEEE (2013)
5. Barthe, G., et al.: Differentially private Bayesian programming. In: CCS, pp. 68–79. ACM (2016)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Deciding Differential Privacy of Online Algorithms with Multiple Variables;Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security;2023-11-15
2. Model checking differentially private properties;Theoretical Computer Science;2023-01
3. The Complexity of Verifying Boolean Programs as Differentially Private;2022 IEEE 35th Computer Security Foundations Symposium (CSF);2022-08
4. Verifying Pufferfish Privacy in Hidden Markov Models;Lecture Notes in Computer Science;2022
5. On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29