SaTC: CORE: Frontier: Collaborative: End-to-End Trustworthiness of Machine-Learning Systems

SaTC：核心：前沿：协作：机器学习系统的端到端可信度

• 批准号: 1804648
• 负责人: Somesh Jha
• 金额: $ 69.55万
• 依托单位: University of Wisconsin-Madison
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2018
• 资助国家: 美国
• 起止时间: 2018-10-01 至 2024-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1804648&HistoricalAwards=false
• 关键词: SaTC; CORE; Frontier; Collaborative; End

This frontier project establishes the Center for Trustworthy Machine Learning (CTML), a large-scale, multi-institution, multi-disciplinary effort whose goal is to develop scientific understanding of the risks inherent to machine learning, and to develop the tools, metrics, and methods to manage and mitigate them. The center is led by a cross-disciplinary team developing unified theory, algorithms and empirical methods within complex and ever-evolving ML approaches, application domains, and environments. The science and arsenal of defensive techniques emerging within the center will provide the basis for building future systems in a more trustworthy and secure manner, as well as fostering a long term community of research within this essential domain of technology. The center has a number of outreach efforts, including a massive open online course (MOOC) on this topic, an annual conference, and broad-based educational initiatives. The investigators continue their ongoing efforts at broadening participation in computing via a joint summer school on trustworthy ML aimed at underrepresented groups, and by engaging in activities for high school students across the country via a sequence of webinars advertised through the She++ network and other organizations.The center focuses on three interconnected and parallel investigative directions that represent the different classes of attacks attacking ML systems: inference attacks, training attacks, and abuses of ML. The first direction explores inference time security, namely methods to defend a trained model from adversarial inputs. This effort emphasizes developing formally grounded measurements of robustness against adversarial examples (defenses), as well as understanding the limits and costs of attacks. The second research direction aims to develop rigorously grounded measures of robustness to attacks that corrupt the training data and new training methods that are robust to adversarial manipulation. The final direction tackles the general security implications of sophisticated ML algorithms including the potential abuses of generative ML models, such as models that generate (fake) content, as well as data mechanisms to prevent the theft of a machine learning model by an adversary who interacts with the model.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

这一前沿项目建立了可信机器学习中心（CTML），这是一项大规模、多机构、多学科的努力，其目标是对机器学习固有的风险进行科学理解，并开发管理和减轻风险的工具、指标和方法。该中心由一个跨学科团队领导，在复杂和不断发展的机器学习方法、应用领域和环境中开发统一的理论、算法和经验方法。该中心内出现的防御技术的科学和武器库将为以更可靠和安全的方式构建未来系统提供基础，并在这一重要技术领域内培养长期的研究社区。该中心开展了一系列的推广工作，包括关于这一主题的大规模开放在线课程（MOOC）、年度会议和广泛的教育计划。调查人员通过一个针对代表性不足群体的可信ML联合暑期学校，以及通过She++网络和其他组织宣传的一系列网络研讨会，为全国各地的高中生开展活动，继续努力扩大对计算的参与。该中心专注于三个相互关联且平行的调查方向，这些方向代表了攻击ML系统的不同类别的攻击：推理攻击、训练攻击和ML滥用。第一个方向探索推理时间安全性，即保护训练模型免受对抗性输入的方法。这项工作强调开发针对对抗性示例（防御）的鲁棒性的正式基础度量，以及理解攻击的限制和代价。第二个研究方向旨在开发对破坏训练数据的攻击和对对抗性操作具有鲁棒性的新训练方法的严格基础的鲁棒性度量。最后一个方向是解决复杂ML算法的一般安全影响，包括生成ML模型的潜在滥用，例如生成（假）内容的模型，以及防止与模型交互的对手窃取机器学习模型的数据机制。该奖项反映了美国国家科学基金会的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，被认为值得支持。

项目成果

Towards Understanding Limitations of Pixel Discretization Against Adversarial Attacks

• DOI: 10.1109/eurosp.2019.00042
• 发表时间: 2018-05
• 期刊: 2019 IEEE European Symposium on Security and Privacy (EuroS&P)
• 作者: Jiefeng Chen;Xi Wu;Vaibhav Rastogi;Yingyu Liang;S. Jha

Overfitting, robustness, and malicious algorithms: A study of potential causes of privacy risk in machine learning

• DOI: 10.3233/jcs-191362
• 发表时间: 2020-02
• 期刊: J. Comput. Secur.
• 作者: Samuel Yeom;Irene Giacomelli;Alan Menaged;Matt Fredrikson;S. Jha

Semantic Adversarial Deep Learning

• DOI: 10.1109/mdat.2020.2968274
• 发表时间: 2018-04
• 期刊: IEEE Design & Test
• 影响因子: 2
• 作者: S. Seshia;S. Jha;T. Dreossi

Machine learning and logic: a new frontier in artificial intelligence

• DOI: 10.1007/s10703-023-00430-1
• 发表时间: 2023-06-14
• 期刊: FORMAL METHODS IN SYSTEM DESIGN
• 影响因子: 0.8
• 作者: Ganesh，Vijay;Seshia，Sanjit A. A.;Jha，Somesh
• 通讯作者: Jha，Somesh

Towards Effective Differential Privacy Communication for Users’ Data Sharing Decision and Comprehension

• DOI: 10.1109/sp40000.2020.00088
• 发表时间: 2020-03
• 期刊: 2020 IEEE Symposium on Security and Privacy (SP)
• 作者: Aiping Xiong;Tianhao Wang;Ninghui Li;S. Jha