CNS Core: Medium: Automated IoT Safety and Security Analysis and Synthesis
CNS 核心:中:自动化物联网安全分析与综合
基本信息
- 批准号:2320882
- 负责人:
- 金额:$ 119.99万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Continuing Grant
- 财政年份:2022
- 资助国家:美国
- 起止时间:2022-10-01 至 2024-06-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
This project focuses on advancing a science that enables practitioners to validate the safety of homes, workplaces, and public spaces that have been augmented with digital devices such as sensors, smart-devices, and autonomous infrastructure. Specifically, the objective of this research is the creation of software analysis and verification techniques to evaluate the safety and security of Internet of Things (IoT) programs and environments in a range of domains. This project will study how to model IoT programming platforms to validate safety, security and functional properties at scale as well as how to create IoT-specific languages for secure-by-design IoT implementations.This project will develop systems that extract models (called transition systems) from IoT source code and apply scalable software verification techniques to provide proofs of correctness with the desired properties. At the same time, this project furthers the creation of IoT-specific languages to automatically generate IoT programs that preserve functional, safety and security properties at run-time. This project will develop tools and datasets, as well as evaluate the efficacy of verification and generation techniques in diverse IoT domains.The expected results of this project are a set of online IoT analysis and synthesis tools and a curriculum for IoT software safety and security analysis for the public and technical communities. Such tools will enable the ongoing transition to smart environments in ways that will be safer and more secure. This project will also help foster the engagement of scientific and industrial communities in IoT safety and security through the development of workshop, outreach and tutorial events.All software, data, papers, and tutorials will be maintained on project website for the entirety of the project and maintained thereafter as future work progresses. For public distribution, all development and experimental artifacts for this project will be linked to the project website (https://github.com/IoTBench/) and maintained over the project duration.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.
该项目侧重于推进一门科学,使从业者能够验证通过传感器、智能设备和自主基础设施等数字设备增强的家庭、工作场所和公共空间的安全性。具体来说,本研究的目的是创建软件分析和验证技术,以评估一系列领域中物联网(IoT)程序和环境的安全性。该项目将研究如何对物联网编程平台进行建模,以大规模验证安全性、安全性和功能属性,以及如何为设计安全的物联网实现创建物联网特定语言。该项目将开发从物联网源代码中提取模型(称为转换系统)的系统,并应用可扩展的软件验证技术来提供所需属性的正确性证明。同时,该项目进一步创建物联网特定语言,以自动生成物联网程序,在运行时保持功能、安全和安全属性。该项目将开发工具和数据集,并评估不同物联网领域验证和生成技术的有效性。该项目的预期成果是一套在线物联网分析和综合工具,以及面向公众和技术社区的物联网软件安全和安全分析课程。这些工具将以更安全、更可靠的方式实现向智能环境的持续过渡。该项目还将通过举办研讨会、外展活动和教程活动,帮助促进科学界和工业界参与物联网安全和安保。所有的软件、数据、论文和教程将在整个项目中保存在项目网站上,并随着未来工作的进展进行维护。为了公开分发,这个项目的所有开发和实验工件都将链接到项目网站(https://github.com/IoTBench/),并在项目期间进行维护。该奖项反映了美国国家科学基金会的法定使命,并通过使用基金会的知识价值和更广泛的影响审查标准进行评估,被认为值得支持。
项目成果
期刊论文数量(2)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
IoTRepair: Flexible Fault Handling in Diverse IoT Deployments
- DOI:10.1145/3532194
- 发表时间:2022-05
- 期刊:
- 影响因子:0
- 作者:Michael Norris;Z. Berkay Celik;P. Venkatesh;Shulin Zhao;P. Mcdaniel;A. Sivasubramaniam;Gang Tan
- 通讯作者:Michael Norris;Z. Berkay Celik;P. Venkatesh;Shulin Zhao;P. Mcdaniel;A. Sivasubramaniam;Gang Tan
The CVE Wayback Machine: Measuring Coordinated Disclosure from Exploits against Two Years of Zero-Days
CVE 回溯机器:衡量针对两年零日漏洞的协调披露
- DOI:10.1145/3618257.3624810
- 发表时间:2023
- 期刊:
- 影响因子:0
- 作者:Pauley, Eric;Barford, Paul;McDaniel, Patrick
- 通讯作者:McDaniel, Patrick
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Patrick McDaniel其他文献
Guest Editors#39; Introduction: Special Issue on Trust, Security, and Privacy in Parallel and Distributed Systemsbr /
客座编辑
- DOI:
- 发表时间:
2014 - 期刊:
- 影响因子:0
- 作者:
Xu Li;Patrick McDaniel;Patrick McDaniel;Radha Poovendran;Radha Poovendran;Guojun Wang;Guojun Wang;Yang Xiang;Yang Xiang - 通讯作者:
Yang Xiang
A Public and Reproducible Assessment of the Topics API on Real Data
对真实数据上的主题 API 进行公开且可重复的评估
- DOI:
10.1109/spw63631.2024.00005 - 发表时间:
2024 - 期刊:
- 影响因子:0
- 作者:
Yohan Beugin;Patrick McDaniel - 通讯作者:
Patrick McDaniel
Guest Editors&#39; Introduction: Special Issue on Trust, Security, and Privacy in Parallel and Distributed Systems<br />
- DOI:
- 发表时间:
2014 - 期刊:
- 影响因子:
- 作者:
Xu Li;Patrick McDaniel;Patrick McDaniel;Radha Poovendran;Radha Poovendran;Guojun Wang;Guojun Wang;Yang Xiang;Yang Xiang; - 通讯作者:
Characterizing the Modification Space of Signature IDS Rules
表征签名 IDS 规则的修改空间
- DOI:
10.1109/milcom58377.2023.10356225 - 发表时间:
2023 - 期刊:
- 影响因子:0
- 作者:
Ryan Guide;Eric Pauley;Yohan Beugin;Ryan Sheatsley;Patrick McDaniel - 通讯作者:
Patrick McDaniel
Patrick McDaniel的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Patrick McDaniel', 18)}}的其他基金
Collaborative Research: Conference: SaTC: CORE: 2.0 Vision Proposal
协作研究:会议:SaTC:核心:2.0 愿景提案
- 批准号:
2316832 - 财政年份:2023
- 资助金额:
$ 119.99万 - 项目类别:
Standard Grant
Travel: NSF Student Travel Grant for 2023 IEEE Conference on Secure and Trustworthy Machine Learning (IEEE SaTML)
旅行:2023 年 IEEE 安全可信机器学习会议 (IEEE SaTML) 的 NSF 学生旅行补助金
- 批准号:
2317300 - 财政年份:2023
- 资助金额:
$ 119.99万 - 项目类别:
Standard Grant
Travel: NSF Student Travel Grant for 2023 IEEE Conference on Secure and Trustworthy Machine Learning (IEEE SaTML)
旅行:2023 年 IEEE 安全可信机器学习会议 (IEEE SaTML) 的 NSF 学生旅行补助金
- 批准号:
2233869 - 财政年份:2023
- 资助金额:
$ 119.99万 - 项目类别:
Standard Grant
SaTC: CORE: Frontier: Collaborative: End-to-End Trustworthiness of Machine-Learning Systems
SaTC:核心:前沿:协作:机器学习系统的端到端可信度
- 批准号:
2343611 - 财政年份:2022
- 资助金额:
$ 119.99万 - 项目类别:
Continuing Grant
CNS Core: Medium: Automated IoT Safety and Security Analysis and Synthesis
CNS 核心:中:自动化物联网安全分析与综合
- 批准号:
1900873 - 财政年份:2019
- 资助金额:
$ 119.99万 - 项目类别:
Continuing Grant
SaTC: CORE: Frontier: Collaborative: End-to-End Trustworthiness of Machine-Learning Systems
SaTC:核心:前沿:协作:机器学习系统的端到端可信度
- 批准号:
1805310 - 财政年份:2018
- 资助金额:
$ 119.99万 - 项目类别:
Continuing Grant
TWC: Medium: Collaborative: Scaling and Prioritizing Market-Sized Application Analysis
TWC:媒介:协作:扩展和优先考虑市场规模的应用程序分析
- 批准号:
1564105 - 财政年份:2016
- 资助金额:
$ 119.99万 - 项目类别:
Continuing Grant
TWC: Medium: Collaborative: Extending Smart-Phone Application Analysis
TWC:媒介:协作:扩展智能手机应用程序分析
- 批准号:
1228700 - 财政年份:2012
- 资助金额:
$ 119.99万 - 项目类别:
Standard Grant
TC: Medium: Collaborative Research: Building Trustworthy Applications for Mobile Devices
TC:媒介:协作研究:为移动设备构建值得信赖的应用程序
- 批准号:
1064900 - 财政年份:2011
- 资助金额:
$ 119.99万 - 项目类别:
Standard Grant
相似国自然基金
胆固醇羟化酶CH25H非酶活依赖性促进乙型肝炎病毒蛋白Core及Pre-core降解的分子机制研究
- 批准号:82371765
- 批准年份:2023
- 资助金额:50 万元
- 项目类别:面上项目
锕系元素5f-in-core的GTH赝势和基组的开发
- 批准号:22303037
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
基于合成致死策略搭建Core-matched前药共组装体克服肿瘤耐药的机制研究
- 批准号:
- 批准年份:2022
- 资助金额:52 万元
- 项目类别:
鼠伤寒沙门氏菌LPS core经由CD209/SphK1促进树突状细胞迁移加重炎症性肠病的机制研究
- 批准号:
- 批准年份:2022
- 资助金额:30 万元
- 项目类别:青年科学基金项目
基于外泌体精准调控的“核-壳”(core-shell)同步血管化骨组织工程策略的应用与机制探讨
- 批准号:
- 批准年份:2020
- 资助金额:55 万元
- 项目类别:
肌营养不良蛋白聚糖Core M3型甘露糖肽的精确制备及功能探索
- 批准号:92053110
- 批准年份:2020
- 资助金额:70.0 万元
- 项目类别:重大研究计划
Core-1-O型聚糖黏蛋白缺陷诱导胃炎发生并介导慢性胃炎向胃癌转化的分子机制研究
- 批准号:81902805
- 批准年份:2019
- 资助金额:20.5 万元
- 项目类别:青年科学基金项目
原始地球增生晚期的Core-merging大碰撞事件:地核增生、核幔平衡与核幔边界结构的新认识
- 批准号:41973063
- 批准年份:2019
- 资助金额:65.0 万元
- 项目类别:面上项目
RBM38通过协助Pol-ε结合、招募core调控HBV复制
- 批准号:31900138
- 批准年份:2019
- 资助金额:24.0 万元
- 项目类别:青年科学基金项目
CORDEX-CORE区域气候模拟与预估研讨会
- 批准号:41981240365
- 批准年份:2019
- 资助金额:1.5 万元
- 项目类别:国际(地区)合作与交流项目
相似海外基金
Collaborative Research: CNS Core: Medium: Reconfigurable Kernel Datapaths with Adaptive Optimizations
协作研究:CNS 核心:中:具有自适应优化的可重构内核数据路径
- 批准号:
2345339 - 财政年份:2023
- 资助金额:
$ 119.99万 - 项目类别:
Standard Grant
Collaborative Research: CNS Core: Medium: Movement of Computation and Data in Splitkernel-disaggregated, Data-intensive Systems
合作研究:CNS 核心:媒介:Splitkernel 分解的数据密集型系统中的计算和数据移动
- 批准号:
2406598 - 财政年份:2023
- 资助金额:
$ 119.99万 - 项目类别:
Continuing Grant
Collaborative Research: CNS Core: Medium: Innovating Volumetric Video Streaming with Motion Forecasting, Intelligent Upsampling, and QoE Modeling
合作研究:CNS 核心:中:通过运动预测、智能上采样和 QoE 建模创新体积视频流
- 批准号:
2409008 - 财政年份:2023
- 资助金额:
$ 119.99万 - 项目类别:
Continuing Grant
CNS Core: Medium: Privacy-Preserving and Censorship-Resistant Domain Name System
CNS 核心:中:隐私保护和抗审查域名系统
- 批准号:
2310927 - 财政年份:2023
- 资助金额:
$ 119.99万 - 项目类别:
Standard Grant
Collaborative Research: CNS Core: Medium: Programmable Computational Antennas for Sensing and Communications
合作研究:中枢神经系统核心:中:用于传感和通信的可编程计算天线
- 批准号:
2343964 - 财政年份:2023
- 资助金额:
$ 119.99万 - 项目类别:
Standard Grant
CNS Core: Medium: A Systems and User-based Approach to Floating Point Correctness and Resilience
CNS 核心:中:基于系统和用户的浮点正确性和弹性方法
- 批准号:
2211315 - 财政年份:2022
- 资助金额:
$ 119.99万 - 项目类别:
Continuing Grant
Collaborative Research: CNS Core: Medium: The Privacy Backplane - A Full Stack Approach to Individualized Privacy Controls Throughout the Internet-of-Things
合作研究:CNS 核心:媒介:隐私背板 - 整个物联网个性化隐私控制的全栈方法
- 批准号:
2211508 - 财政年份:2022
- 资助金额:
$ 119.99万 - 项目类别:
Continuing Grant
Collaborative Research: CNS Core: Medium: Access, Mobility, and Security above 100 GHz
合作研究:CNS 核心:中:100 GHz 以上的访问、移动性和安全性
- 批准号:
2211617 - 财政年份:2022
- 资助金额:
$ 119.99万 - 项目类别:
Continuing Grant
Collaborative Research: CNS Core: Medium: Access, Mobility, and Security above 100 GHz
合作研究:CNS 核心:中:100 GHz 以上的访问、移动性和安全性
- 批准号:
2211618 - 财政年份:2022
- 资助金额:
$ 119.99万 - 项目类别:
Continuing Grant
Collaborative Research: CNS Core: Medium: Rethinking Multi-User VR - Jointly Optimized Representation, Caching and Transport
合作研究:CNS 核心:媒介:重新思考多用户 VR - 联合优化表示、缓存和传输
- 批准号:
2212200 - 财政年份:2022
- 资助金额:
$ 119.99万 - 项目类别:
Continuing Grant