The Inconvenient Truths of Ground Truth for Binary Analysis Authors: Jim Alves-Foss, Varsah Venugopal | Published: 2022-10-26 Program AnalysisOptimization MethodsFunction Definition 2022.10.26 2025.05.28 Literature Database
Overparameterization from Computational Constraints Authors: Sanjam Garg, Somesh Jha, Saeed Mahloujifar, Mohammad Mahmoody, Mingyuan Wang | Published: 2022-08-27 | Updated: 2022-10-15 Verification of Digital SignaturesMachine Learning TechnologyFunction Definition 2022.08.27 2025.05.28 Literature Database
Analytical Composition of Differential Privacy via the Edgeworth Accountant Authors: Hua Wang, Sheng Gao, Huanyu Zhang, Milan Shen, Weijie J. Su | Published: 2022-06-09 Privacy AssessmentFederated LearningFunction Definition 2022.06.09 2025.05.28 Literature Database
Sampling without Replacement Leads to Faster Rates in Finite-Sum Minimax Optimization Authors: Aniket Das, Bernhard Schölkopf, Michael Muehlebach | Published: 2022-06-07 | Updated: 2022-10-10 Convergence analysisFormal VerificationFunction Definition 2022.06.07 2025.05.28 Literature Database
Additive Logistic Mechanism for Privacy-Preserving Self-Supervised Learning Authors: Yunhao Yang, Parham Gohari, Ufuk Topcu | Published: 2022-05-25 Privacy TechniquePrivacy AssessmentFunction Definition 2022.05.25 2025.05.28 Literature Database
Sample Complexity Bounds for Robustly Learning Decision Lists against Evasion Attacks Authors: Pascale Gourdeau, Varun Kanade, Marta Kwiatkowska, James Worrell | Published: 2022-05-12 Robust RegressionDurability IssueFunction Definition 2022.05.12 2025.05.28 Literature Database
Privacy-Preserving Distributed Machine Learning Made Faster Authors: Zoe L. Jiang, Jiajing Gu, Hongxiao Wang, Yulin Wu, Junbin Fang, Siu-Ming Yiu, Wenjian Luo, Xuan Wang | Published: 2022-05-12 Privacy TechniqueEvaluation MethodFunction Definition 2022.05.12 2025.05.28 Literature Database
Constant-round Blind Classical Verification of Quantum Sampling Authors: Kai-Min Chung, Yi Lee, Han-Hsuan Lin, Xiaodi Wu | Published: 2020-12-09 | Updated: 2021-10-25 Protocol ProcedureQuantum Cryptography TechnologyFunction Definition 2020.12.09 2025.05.28 Literature Database