SaTC: CORE: Medium: Collaborative: Using Machine Learning to Build More Resilient and Transparent Computer Systems
SaTC: CORE: Medium: Collaborative: Using Machine Learning to Build More Resilient and Transparent Computer Systems
批准号:
1801391
负责人:
Ljudevit Bauer
金额:
$69.16万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2018
资助国家:
美国
项目状态:
已结题
起止时间:
2018-09-01 至 2024-01-31
中文摘要
机器学习算法越来越多地成为日常生活的一部分:它们为我们浏览网页时看到的广告、现代汽车中的自动驾驶辅助设备、甚至天气预测和关键基础设施提供了动力。我们之所以依赖这些算法,部分原因是它们比其他算法表现得更好,而且它们可以很容易地定制为新的应用程序。许多机器学习算法也有一个很大的弱点:很难理解它们如何以及为什么计算它们提供的答案。这种不透明性意味着我们从机器学习算法中得到的答案可能会有微妙的偏差,甚至是完全错误的,但我们可能没有意识到这一点。该项目的目标是使机器学习算法更容易理解,并利用攻击者使用的一些技术来欺骗机器学习算法犯错误,以构建更能抵抗攻击的计算机系统。除了对机器学习算法的设计和使用做出基本贡献外,该项目还包括吸引学生获得机器学习工具的实践经验的推广工作。这个项目的重点是深度神经网络(dnn)。在过去的五年里,大量的研究表明,这些模型有被用来欺骗它们的输入(所谓的“对抗性示例”)所回避的倾向。这些类型的攻击利用了dnn的不透明性:虽然dnn可以在一些分类任务上表现得非常好,但它们经常无视对它们如何做到这一点的简单解释,并且确实可以利用人类可能会感到惊讶的特征来做到这一点。该项目利用深度神经网络和针对它们的攻击来深入了解如何构建更具弹性的计算机系统。具体来说,该项目将使用dnn来模拟试图攻击计算机系统的对手,然后“攻击”这些dnn,以学习如何提高这些系统的攻击弹性。这种建模将使用生成对抗网络(GANs)来完成,其中“生成器”和“鉴别器”模型相互竞争。这一愿景的核心是在约束下逃避dnn的能力,并从中提取关于它们如何执行分类的解释。因此,该项目将在开发更好的欺骗dnn的方法和改进这一重要的机器学习工具方面取得根本性进展。该奖项反映了美国国家科学基金会的法定使命,并通过使用基金会的知识价值和更广泛的影响审查标准进行评估,被认为值得支持。
英文摘要
Machine learning algorithms are increasingly part of everyday life: they help power the ads that we see while browsing the web, self-driving aids in modern cars, and even weather prediction and critical infrastructure. We rely on these algorithms in part because they perform better than alternatives and they can be easy to customize to new applications. Many machine learning algorithms also have a big weakness: it is difficult to understand how and why they compute the answers they provide. This opaqueness means that the answers we get from a machine learning algorithm could be subtly biased or even completely wrong, and yet we might not realize it. This project's goal is to make machine learning algorithms easier to understand, as well as to leverage some of the techniques used by attackers to trick machine learning algorithms into making mistakes to build computer systems that are more resistant to attack. In addition to making fundamental contributions to how machine learning algorithms are designed and used, the project includes outreach efforts that will entice students to gain hands-on experience with machine learning tools.This project focuses on deep neural networks (DNNs). A groundswell of research within the past five years has demonstrated the propensity of these models to being evaded by inputs created to fool them -- so called "adversarial examples." These types of attacks leverage DNNs' opacity: while DNNs can perform remarkably well on some classification tasks, they often defy simple explanations of how they do so, and indeed can leverage features for doing so that humans might find surprising. This project leverages DNNs and the attacks against them to gain insights into how to build more resilient computer systems. Specifically, the project will use DNNs to model adversaries trying to attack computer systems and then "attack" these DNNs to learn how to improve these systems' resilience to attack. This modeling will be done using Generative Adversarial Nets (GANs), in which "generator" and "discriminator" models compete. Central to this vision are the abilities to evade DNNs under constraints and to extract explanations from them about how they perform classification. Consequently, this project will make fundamental advances both in developing better methods to deceive DNNs and in improving this important machine-learning tool.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.
期刊论文(6)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
DOI:
--
发表时间:
2021-12
期刊:
影响因子:
--
作者:
[Weiran Lin;Keane Lucas;Lujo Bauer;M. Reiter;Mahmood Sharif]
通讯作者:
Weiran Lin;Keane Lucas;Lujo Bauer;M. Reiter;Mahmood Sharif
DOI:
--
发表时间:
2019-06
期刊:
Proceedings of the 16th ACM International Conference on Computing Frontiers
影响因子:
--
作者:
[Klas Leino;Matt Fredrikson]
通讯作者:
Klas Leino;Matt Fredrikson
DOI:
10.1145/3317611
发表时间:
2019-07-01
期刊:
ACM TRANSACTIONS ON PRIVACY AND SECURITY
影响因子:
2.3
作者:
[Sharif, Mahmood, Bhagavatula, Sruti, Reiter, Michael K.]
通讯作者:
Reiter, Michael K.
Group-based Robustness: A General Framework for Customized Robustness in the Real World
基于组的鲁棒性:现实世界中定制鲁棒性的通用框架
DOI:
10.14722/ndss.2024.24084
发表时间:
2024
期刊:
Network and Distributed System Security Symposium
影响因子:
--
作者:
[Lin, Weiran, Lucas, Keane, Eyal, Neo, Bauer, Lujo, Reiter, Michael K., Sharif, Mahmood]
通讯作者:
Sharif, Mahmood
Adversarial training for raw-binary malware classifiers
原始二进制恶意软件分类器的对抗训练
DOI:
--
发表时间:
2023
期刊:
USENIX Security Symposium
影响因子:
--
作者:
[Lucas, Keane, Pai, Samruddhi, Lin, Weiran, Bauer, Lujo, Reiter, Michael K., Sharif, Mahmood]
通讯作者:
Sharif, Mahmood
Collaborative Research: NSF-BSF: SaTC: CORE: Small: Detecting malware with machine learning models efficiently and reliably
-
批准号:2338301
-
项目类别:Continuing Grant
-
资助金额:$32.04万
-
财政年份:2024
-
负责人:Ljudevit Bauer
-
依托单位:
Student Travel Grants for the 2014 Network and Distributed System Security Symposium
-
批准号:1354080
-
项目类别:Standard Grant
-
资助金额:$1.0万
-
财政年份:2013
-
负责人:Ljudevit Bauer
-
依托单位:
TC: Small: An Empirical Study of Text-based Passwords and Their Users
-
批准号:1116776
-
项目类别:Standard Grant
-
资助金额:$49.45万
-
财政年份:2011
-
负责人:Ljudevit Bauer
-
依托单位:
TC: Small: Towards precise specification of logic-based acces-control policies
-
批准号:1018211
-
项目类别:Standard Grant
-
资助金额:$47.96万
-
财政年份:2010
-
负责人:Ljudevit Bauer
-
依托单位:
Enabling Practical Cross-domain Logic-based Access Control
-
批准号:0917047
-
项目类别:Standard Grant
-
资助金额:$43.56万
-
财政年份:2009
-
负责人:Ljudevit Bauer
-
依托单位:
CT-M: Usable Security for Digital Home Storage
-
批准号:0831407
-
项目类别:Continuing Grant
-
资助金额:$100.0万
-
财政年份:2008
-
负责人:Ljudevit Bauer
-
依托单位:
CT-ISG: Collaborative Research: Trustworthy Enforcement of Domain-Independent Run-Time Policies
-
批准号:0716216
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Ljudevit Bauer
-
依托单位:
ITR: Defending Against Virus Propagation on the Internet
-
批准号:0326472
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2003
-
负责人:Ljudevit Bauer
-
依托单位:
国内基金
海外基金
登录
查看更多内容
胆固醇羟化酶CH25H非酶活依赖性促进乙型肝炎病毒蛋白Core及Pre-core降解的分子机制研究
-
批准号:82371765
-
项目类别:面上项目
-
资助金额:50万元
-
批准年份:2023
-
负责人:谭广云
-
依托单位:
锕系元素5f-in-core的GTH赝势和基组的开发
-
批准号:22303037
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2023
-
负责人:鲁俊波
-
依托单位:
基于合成致死策略搭建Core-matched前药共组装体克服肿瘤耐药的机制研究
-
批准号:--
-
项目类别:--
-
资助金额:52万元
-
批准年份:2022
-
负责人:孙丙军
-
依托单位:
鼠伤寒沙门氏菌LPS core经由CD209/SphK1促进树突状细胞迁移加重炎症性肠病的机制研究
-
批准号:--
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2022
-
负责人:叶成林
-
依托单位:
基于外泌体精准调控的“核-壳”(core-shell)同步血管化骨组织工程策略的应用与机制探讨
-
批准号:--
-
项目类别:--
-
资助金额:55万元
-
批准年份:2020
-
负责人:张智勇
-
依托单位:
基于外泌体精准调控的“核-壳”(core-shell)同步血管化骨组织工程策略的应用与机制探讨
-
批准号:82072415
-
项目类别:面上项目
-
资助金额:55.0万元
-
批准年份:2020
-
负责人:张智勇
-
依托单位:
肌营养不良蛋白聚糖Core M3型甘露糖肽的精确制备及功能探索
-
批准号:92053110
-
项目类别:重大研究计划
-
资助金额:70.0万元
-
批准年份:2020
-
负责人:彭鹏
-
依托单位:
Core-1-O型聚糖黏蛋白缺陷诱导胃炎发生并介导慢性胃炎向胃癌转化的分子机制研究
-
批准号:81902805
-
项目类别:青年科学基金项目
-
资助金额:20.5万元
-
批准年份:2019
-
负责人:刘菲
-
依托单位:
原始地球增生晚期的Core-merging大碰撞事件:地核增生、核幔平衡与核幔边界结构的新认识
-
批准号:41973063
-
项目类别:面上项目
-
资助金额:65.0万元
-
批准年份:2019
-
负责人:周游
-
依托单位:
CORDEX-CORE区域气候模拟与预估研讨会
-
批准号:41981240365
-
项目类别:国际(地区)合作与交流项目
-
资助金额:1.5万元
-
批准年份:2019
-
负责人:陈威霖
-
依托单位: