Author:
Barthe Gilles,Gaboardi Marco,Gallego Arias Emilio Jesus,Hsu Justin,Kunz Cesar,Strub Pierre-Yves
Cited by
41 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Detecting Violations of Differential Privacy for Quantum Algorithms;Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security;2023-11-15
2. A proof system of the CaIT calculus;Frontiers of Computer Science;2023-09-11
3. Contextual Linear Types for Differential Privacy;ACM Transactions on Programming Languages and Systems;2023-05-17
4. Divergences on monads for relational program logics;Mathematical Structures in Computer Science;2023-04
5. Model checking differentially private properties;Theoretical Computer Science;2023-01