The Complexity of Verifying Boolean Programs as Differentially Private
The Complexity of Verifying Boolean Programs as Differentially Private
复制标题
验证布尔程序是否为差分私有的复杂性
DOI：
10.1109/csf54842.2022.00025
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Ludmila Glinskih
中科院分区：
文献类型：
--
作者：
Mark Bun;Marco Gaboardi;Ludmila Glinskih
登录
查看更多内容
重新审视稀疏矢量技术
DOI：
--
发表时间：
2020
期刊：
Annual Conference Computational Learning Theory
影响因子：
--
作者：
Haim Kaplan;Y. Mansour;Uri Stemmer
通讯作者：
Uri Stemmer
DOI：
10.1145/3188745.3188946
发表时间：
2018-06
期刊：
Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing
影响因子：
--
作者：
Mark Bun;C. Dwork;G. Rothblum;T. Steinke
通讯作者：
Mark Bun;C. Dwork;G. Rothblum;T. Steinke
DOI：
10.1109/lics52264.2021.9470708
发表时间：
2021-04
期刊：
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
影响因子：
--
作者：
Rohit Chadha;A. Sistla;Mahesh Viswanathan
通讯作者：
Rohit Chadha;A. Sistla;Mahesh Viswanathan
DOI：
--
发表时间：
1976
期刊：
Advances in Computing
影响因子：
--
作者：
J. Hartmanis;Janos Simon
通讯作者：
Janos Simon
布尔程序分析
DOI：
--
发表时间：
2013
期刊：
International Conference on Tools and Algorithms for Construction and Analysis of Systems
影响因子：
--
作者：
Patrice Godefroid;M. Yannakakis
通讯作者：
M. Yannakakis