CRII: SaTC: Reconciling Run-time Attestation Methods and Real-Time Embedded Applications

CRII：SaTC：协调运行时证明方法和实时嵌入式应用程序

• 批准号: 2245531
• 负责人: Ivan De Oliveira Nunes
• 金额: $ 17.48万
• 依托单位: Rochester Institute of Tech
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2023
• 资助国家: 美国
• 起止时间: 2023-03-15 至 2025-02-28
• 项目状态: 未结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2245531&HistoricalAwards=false
• 关键词: CRII; SaTC; Reconciling; Run; time

Embedded devices are increasingly ubiquitous and their importance is hard to overestimate. While they often support safety-critical system functions, they are usually implemented under strict cost/energy budgets, using Micro-Controller Units (MCUs) that lack security mechanisms akin to those available in general-purpose computers. Unsurprisingly, the insecurity of embedded software has already led to several attacks, including massive denial of service and large-scale exploits. Run-time attestation techniques aim to remotely detect Malware that compromises the execution of software on safety-critical MCUs. However, existent run-time attestation methods preclude MCUs from processing real-time events (e.g., physical inputs, arrival of network packets, or expiring timers) as soon as they occur. On the other hand, real embedded applications are highly dependent on such time-sensitive event processing. Motivated by this problem, this project's novelties are the design and implementation of run-time attestation techniques that can securely co-exist with the real-time needs of MCU applications. The project's broader significance and importance are to reconcile run-time attestation techniques with the needs of realistic applications, bringing run-time attestation closer to practical adoption. This project develops novel run-time attestation methods to detect run-time attacks while considering the realistic needs of embedded applications. Our approach addresses a major shortcoming of all current run-time attestation techniques: their inability to work in tandem with asynchronous events via system interrupts. This project bridges this gap by (1) characterizing the conflict between existing run-time attestation techniques and embedded applications that must process asynchronous events via interrupts; and (2) rethinking run-time attestation designs to make them amenable to system interrupts while retaining all of their security guarantees. The aforementioned goals are approached from two complementary perspectives: legacy devices that are already manufactured and in which hardware modifications are unfeasible; and future devices, in which clean-slate run-time attestation designs (that include custom hardware changes) are feasible.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.

嵌入式设备越来越普遍，其重要性怎么估计都不为过。虽然它们通常支持安全关键系统功能，但它们通常是在严格的成本/能源预算下实施的，使用的微控制器单元(MCU)缺乏与通用计算机中提供的安全机制类似的安全机制。不出所料，嵌入式软件的不安全性已经导致了几次攻击，包括大规模拒绝服务和大规模利用。运行时证明技术旨在远程检测危害安全关键型MCU上的软件执行的恶意软件。然而，现有的运行时证明方法阻止MCU在实时事件(例如，物理输入、网络分组到达或计时器到期)发生时立即处理它们。另一方面，真正的嵌入式应用程序高度依赖于这种对时间敏感的事件处理。在这个问题的推动下，本项目的创新之处在于设计和实现了能够安全地与MCU应用程序的实时需求共存的运行时证明技术。该项目更广泛的意义和重要性是使运行时证明技术与实际应用程序的需求相协调，使运行时证明更接近实际采用。该项目开发了新的运行时证明方法来检测运行时攻击，同时考虑到嵌入式应用的现实需求。我们的方法解决了当前所有运行时证明技术的一个主要缺陷：它们无法通过系统中断与异步事件协同工作。该项目通过(1)描述现有的运行时证明技术与必须通过中断处理异步事件的嵌入式应用程序之间的冲突；以及(2)重新考虑运行时证明设计，使它们能够适应系统中断，同时保留其所有安全保证，从而弥合了这一差距。上述目标是从两个互补的角度来实现的：已经制造且硬件修改不可行的遗留设备；以及未来的设备，在这些设备中，完全从头开始的运行时证明设计(包括定制硬件更改)是可行的。该奖项反映了NSF的法定使命，并通过使用基金会的智力优势和更广泛的影响审查标准进行评估，被认为值得支持。

项目成果

ACFA: Secure Runtime Auditing & Guaranteed Device Healing via Active Control Flow Attestation

• DOI: 10.48550/arxiv.2303.16282
• 发表时间: 2023-03
• 期刊: ArXiv
• 作者: Adam Caulfield;Norrathep Rattanavipanon;I. O. Nunes

ISC-FLAT: On the Conflict Between Control Flow Attestation and Real-Time Operations

• DOI: 10.1109/rtas58335.2023.00018
• 发表时间: 2023-03
• 期刊: 2023 IEEE 29th Real-Time and Embedded Technology and Applications Symposium (RTAS)
• 作者: Antonio Joia Neto;I. O. Nunes

DiCA: A Hardware-Software Co-Design for Differential Check-Pointing in Intermittently Powered Devices

DiCA：用于间歇供电设备中差分检查点的硬件-软件协同设计

• DOI: 10.1109/iccad57390.2023.10323895
• 发表时间: 2023
• 期刊: 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD
• 作者: Neto, Antonio Joia;Caulfield, Adam;Alvares, Chistabelle;De Oliveira Nunes, Ivan
• 通讯作者: De Oliveira Nunes, Ivan