Function Definition

The Inconvenient Truths of Ground Truth for Binary Analysis

Authors: Jim Alves-Foss, Varsah Venugopal | Published: 2022-10-26
Program Analysis
Optimization Methods
Function Definition

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 Signatures
Machine Learning Technology
Function Definition

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 Assessment
Federated Learning
Function Definition

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 analysis
Formal Verification
Function Definition

Additive Logistic Mechanism for Privacy-Preserving Self-Supervised Learning

Authors: Yunhao Yang, Parham Gohari, Ufuk Topcu | Published: 2022-05-25
Privacy Technique
Privacy Assessment
Function Definition

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 Regression
Durability Issue
Function Definition

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 Technique
Evaluation Method
Function Definition

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 Procedure
Quantum Cryptography Technology
Function Definition