CRII: CSR: Understanding and Enhancing Unsafe Rust Code in Resource-constrained Systems
CRII:CSR:理解和增强资源受限系统中的不安全 Rust 代码
基本信息
- 批准号:2245753
- 负责人:
- 金额:$ 15.15万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2023
- 资助国家:美国
- 起止时间:2023-06-01 至 2025-05-31
- 项目状态:未结题
- 来源:
- 关键词:
项目摘要
Resource-constrained systems run on resource-constrained devices, which have low computation power, and limited memory and storage with the advantage of low-electrical-power consumption. They are increasingly used nowadays, including IoT (Internet of Things) devices (e.g., smart home devices) and embedded devices (e.g., Bluetooth/Wi-Fi modules in the desktop/mobile platform). However, the advantage comes with the expense of no or limited software and hardware protections. As a result, new vulnerabilities are being discovered in resource-constrained systems. To mitigate this problem, Rust is gaining popularity in implementing these systems due to its safety and close performance to C/C++, while a Rust compiler enforces restrictive rules and leverages the unsafe keyword to bypass them. Unfortunately, the introduction of unsafe Rust code also introduces potential safety issues defeating the purpose of using Rust to enhance resource-constrained systems. This project addresses this challenge by exploring, designing and experimenting with various tools and frameworks in the context of resource-constrained systems, and provides insights on unsafe Rust code in these systems. In this way, this project targets reducing the negative effect of using the unsafe keyword and support developers with more confidence in safety guarantee. This project aims to improve using Rust in resource-constrained systems by eliminating unnecessary usage of the unsafe keyword or preventing the potential issues caused by unsafe Rust code. As a result, resource-constrained systems written in Rust would be more secure, even if the unsafe keyword is used. Furthermore, tools and frameworks developed in this project will be open-source. They will not only be helpful to resource-constrained system developers, but also contribute to the Rust community. The best practices concluded and lessons learned during this project will also be open to the community. The goal is to elaborate the result as RFC (Request for Comments) documents and make them the standard. As part of the outreach effort, the data and the results of this project will be incorporated into undergraduate courses in both computer science and cybersecurity.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(物联网)设备(例如智能家居设备)和嵌入式设备(例如桌面/移动平台中的蓝牙/Wi-Fi模块)。然而,这种优势的代价是没有或只有有限的软件和硬件保护。因此,在资源受限的系统中发现了新的漏洞。为了缓解这个问题,Rust在实现这些系统方面越来越受欢迎,因为它的安全性和接近C/ c++的性能,而Rust编译器强制执行限制性规则并利用不安全关键字来绕过它们。不幸的是,引入不安全的Rust代码也引入了潜在的安全问题,违背了使用Rust增强资源受限系统的目的。这个项目通过在资源受限的系统环境中探索、设计和试验各种工具和框架来解决这个挑战,并提供了这些系统中不安全Rust代码的见解。这样,本项目的目标是减少使用不安全关键字的负面影响,使开发人员对安全保障更有信心。该项目旨在通过消除不安全关键字的不必要使用或防止不安全Rust代码引起的潜在问题来改进Rust在资源受限系统中的使用。因此,用Rust编写的资源受限的系统将更加安全,即使使用了不安全关键字。此外,该项目开发的工具和框架将是开源的。它们不仅对资源受限的系统开发人员有帮助,而且对Rust社区也有贡献。在这个项目中总结的最佳实践和经验教训也将向社区开放。目标是将结果细化为RFC(请求评论)文档,并使其成为标准。作为推广工作的一部分,该项目的数据和结果将被纳入计算机科学和网络安全的本科课程。该奖项反映了美国国家科学基金会的法定使命,并通过使用基金会的知识价值和更广泛的影响审查标准进行评估,被认为值得支持。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
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 }}
Chen Cao其他文献
Assembly of a Zn(II) coordination polymer of tetrapyridyl tetraene ligands for selective sensing of CrO42− and Fe3+ in water via luminescence quenching and enhancement
四吡啶四烯配体的 Zn(II) 配位聚合物的组装,用于通过发光猝灭和增强选择性传感水中的 CrO42– 和 Fe3
- DOI:
10.1039/d1ce01706c - 发表时间:
2022 - 期刊:
- 影响因子:3.1
- 作者:
Zhan-Yong Yang;Chen Cao;Xiao Sang;Yu-Xuan Hong;Hong Yu;Chun-Yan Ni;Jian-Ping Lang - 通讯作者:
Jian-Ping Lang
A comparative evaluation of machine learning algorithms and an improved optimal model for landslide susceptibility: a case study
滑坡敏感性机器学习算法与改进最优模型的比较评估:案例研究
- DOI:
10.1080/19475705.2021.1955018 - 发表时间:
2021 - 期刊:
- 影响因子:0
- 作者:
Yue Liu;Peihua Xu;Chen Cao;Bo Shan;Kuanxing Zhu;Qiuyang Ma;Zongshuo Zhang;Han Yin - 通讯作者:
Han Yin
Remarkable increases of α1-antichymotrypsin in brain tissues of rodents during prion infection
朊病毒感染期间啮齿动物脑组织中α1-抗胰凝乳蛋白酶显着增加
- DOI:
- 发表时间:
2017 - 期刊:
- 影响因子:2.3
- 作者:
Chen Cao;Xu Xiao-Feng;Zhang Ren-Qing;Ma Yue;Lv Yan;Li Jian-Le;Shi Qiang;Xiao Kang;Sun Jing;Yang Xiao-Dong;Shi Qi;Dong Xiao-Ping - 通讯作者:
Dong Xiao-Ping
Ultrathin sulfate-intercalated NiFe-layered double hydroxides nanosheets for efficient electrocatalytic oxygen evolution
超薄硫酸盐插层 NiFe 层状双氢氧化物纳米片,用于高效电催化析氧
- DOI:
- 发表时间:
2020 - 期刊:
- 影响因子:3.9
- 作者:
Xiao-Xiao Jiang;Jiang-Yan Xue;Zhong-Yin Zhao;Cong Li;Fei-Long Li;Chen Cao;Zheng Niu;Hong-Wei Gu;Jian-Ping Lang - 通讯作者:
Jian-Ping Lang
Impact of Encephalomalacia and White Matter Hyperintensities on ASPECTS in Patients With Acute Ischemic Stroke: Comparison of Automated- and Radiologist-Derived Scores
脑软化和白质高信号对急性缺血性中风患者 ASPECTS 的影响:自动评分和放射科医生评分的比较
- DOI:
10.2214/ajr.21.26819 - 发表时间:
2021 - 期刊:
- 影响因子:5
- 作者:
Lixiang Huang;Qian Liu;Xiudi Lu;Song Liu;Chen Cao;Zhiyun Wang;Xuening Zhang;Shuang Xia - 通讯作者:
Shuang Xia
Chen Cao的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
相似国自然基金
基于经筋理论的筋针与整脊联合疗法治疗 CSR疼痛的临床应用研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
RAC2(G15D)突变参与B细胞 Ig-CSR过程的分子机制研究
- 批准号:2025JJ80630
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
基于CRISPR/CasRx调控CSR1基因表达预防氨基糖甙类耳毒性聋研究
- 批准号:2024Y9183
- 批准年份:2024
- 资助金额:25.0 万元
- 项目类别:省市级项目
基于Piezo机械敏感通道探讨奉伸松调法调控颈肌细胞自噬与DRG痛觉感受神经元可塑性治疗CSR的作用机制
- 批准号:
- 批准年份:2024
- 资助金额:0 万元
- 项目类别:地区科学基金项目
准社会互动视角下CSR数字化沟通对品牌绩效的差异化影响、机制与管理对策
- 批准号:72362008
- 批准年份:2023
- 资助金额:28 万元
- 项目类别:地区科学基金项目
善行得善果?后疫情时代嵌入式和边缘式CSR对员工幸福感的跨层影响研究
- 批准号:72102183
- 批准年份:2021
- 资助金额:24.00 万元
- 项目类别:青年科学基金项目
善行得善果?后疫情时代嵌入式和边缘式CSR对员工幸福感的跨层影响研究
- 批准号:
- 批准年份:2021
- 资助金额:30 万元
- 项目类别:
基于脊髓突触可塑性探讨“调气”电针远端腧穴干预CSR模型大鼠的中枢镇痛效应及机制研究
- 批准号:82160934
- 批准年份:2021
- 资助金额:34 万元
- 项目类别:地区科学基金项目
利用输运模型和机器学习方法研究CSR能区的低温高密核物质
- 批准号:U2032145
- 批准年份:2020
- 资助金额:50.0 万元
- 项目类别:联合基金项目
PPR家族蛋白CSR3调控拟南芥叶绿体RNA剪接的分子机理
- 批准号:32000184
- 批准年份:2020
- 资助金额:24.0 万元
- 项目类别:青年科学基金项目
相似海外基金
CSR: Small: Leveraging Physical Side-Channels for Good
CSR:小:利用物理侧通道做好事
- 批准号:
2312089 - 财政年份:2024
- 资助金额:
$ 15.15万 - 项目类别:
Standard Grant
CSR: Small: Multi-FPGA System for Real-time Fraud Detection with Large-scale Dynamic Graphs
CSR:小型:利用大规模动态图进行实时欺诈检测的多 FPGA 系统
- 批准号:
2317251 - 财政年份:2024
- 资助金额:
$ 15.15万 - 项目类别:
Standard Grant
CRII: CSR: From Bloom Filters to Noise Reduction Streaming Algorithms
CRII:CSR:从布隆过滤器到降噪流算法
- 批准号:
2348457 - 财政年份:2024
- 资助金额:
$ 15.15万 - 项目类别:
Standard Grant
Bridging Economic Demands with Social Responsibility: A Deep Dive into SMFDI's Production-Driven CSR Initiatives
连接经济需求与社会责任:深入探讨 SMFDI 的生产驱动型企业社会责任计划
- 批准号:
24K20993 - 财政年份:2024
- 资助金额:
$ 15.15万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
CRII: CSR: Towards an Edge-enabled Software-Defined Vehicle Framework for Dynamic Over-the-Air Updates
CRII:CSR:迈向支持边缘的软件定义车辆框架,用于动态无线更新
- 批准号:
2348151 - 财政年份:2024
- 资助金额:
$ 15.15万 - 项目类别:
Standard Grant
サステナブルなCSRとブランド価値:真正性・整合性・一体感に着目した国際比較研究
可持续企业社会责任与品牌价值:关注真实性、完整性和团结感的国际比较研究
- 批准号:
24K05139 - 财政年份:2024
- 资助金额:
$ 15.15万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
CSR, premiums and cross-border M&A
企业社会责任、保费和跨境M
- 批准号:
24K00283 - 财政年份:2024
- 资助金额:
$ 15.15万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
CRII: CSR: Adaptive Federated Continuous Learning on Heterogeneous Edge Devices with Unlabeled Data
CRII:CSR:具有未标记数据的异构边缘设备的自适应联合连续学习
- 批准号:
2348279 - 财政年份:2024
- 资助金额:
$ 15.15万 - 项目类别:
Standard Grant
CRII: CSR: Enabling On-Device Continual Learning through Enhancing Efficiency of Computing, Memory, and Data
CRII:CSR:通过提高计算、内存和数据的效率实现设备上的持续学习
- 批准号:
2348376 - 财政年份:2024
- 资助金额:
$ 15.15万 - 项目类别:
Standard Grant
CRII: CSR: Opportunistic Computation Offloading for Battery-Free Computing Devices
CRII:CSR:无电池计算设备的机会计算卸载
- 批准号:
2347692 - 财政年份:2024
- 资助金额:
$ 15.15万 - 项目类别:
Standard Grant