FMitF: Track I: A Holistic Approach Towards Online Monitoring of Integrated Circuits and Systems
FMITF:第一轨:集成电路和系统在线监控的整体方法
基本信息
- 批准号:2319572
- 负责人:
- 金额:$ 75万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2023
- 资助国家:美国
- 起止时间:2023-10-01 至 2027-09-30
- 项目状态:未结题
- 来源:
- 关键词:
项目摘要
The ever-increasing complexity of chip design and system integration, the reliance on third-party hardware components, and the untrustworthy global semiconductor supply chains open up the possibility for the introduction of errors. These errors can be unintentional consequences of design bugs and neglected operating conditions or induced by intentional attackers. Recently, it has been shown that even more challenging threats exist where the attackers manipulate the hardware operations via malicious modifications of a hardware design before fabrication. Given the possibility of unintentional errors and maliciously modified hardware components and the difficulty of detecting all these issues, this project develops one last line of defense by monitoring fabricated hardware components during normal deployment and operation. This approach enables the detection of attacks or other conditions that violate the system's integrity and security. The project's novelties are the development of a rigorous approach for monitoring the operation of integrated circuits and the design of a software toolchain and hardware prototype that realizes the monitors. The project's impacts are advances in the reliability, safety and security of the hardware that forms the basis of computing systems.The project develops a novel monitor specification language, called FlowSL, for describing properties that are relevant for the integrity and security of a system. FlowSL goes beyond established approaches based on temporal logic and regular expressions in order to achieve a balance between expressiveness and being amenable to efficient execution on hardware. Principled heuristics and compilation algorithms are designed for the effective translation of monitor specifications into primitive hardware operations. The specification language is co-designed with a programmable hardware accelerator. The project designs highly optimized computational primitives in hardware, which are used for realizing individual operators of FlowSL, and a scalable and programmable pipeline architecture that enables the composition of several primitives to implement the monitors. A full-stack prototype is developed, which is evaluated on representative applications from the domains of hardware security and runtime verification of cyber-physical systems.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.
芯片设计和系统集成的复杂性不断增加,对第三方硬件组件的依赖以及不可靠的全球半导体供应链为引入错误提供了可能性。这些错误可能是设计缺陷和忽略的操作条件的无意后果,也可能是故意攻击者引起的。最近,已经表明存在更具有挑战性的威胁,其中攻击者在制造之前通过对硬件设计的恶意修改来操纵硬件操作。考虑到意外错误和恶意修改硬件组件的可能性以及检测所有这些问题的难度,该项目通过在正常部署和操作期间监控装配的硬件组件来开发最后一道防线。这种方法能够检测攻击或其他违反系统完整性和安全性的情况。该项目的创新之处是开发了一种严格的方法来监测集成电路的运行,并设计了一个软件工具链和实现监测器的硬件原型。该项目的影响是在硬件的可靠性,安全性和安全性的进步,形成了计算系统的基础。该项目开发了一种新的监控规范语言,称为FlowSL,用于描述与系统的完整性和安全性相关的属性。FlowSL超越了基于时态逻辑和正则表达式的既定方法,以便在表达性和易于在硬件上高效执行之间实现平衡。原理性的编译和编译算法是为了有效地将监视器规范转换为原始的硬件操作而设计的。规范语言与可编程硬件加速器共同设计。该项目在硬件中设计了高度优化的计算原语,用于实现FlowSL的各个运算符,以及一个可扩展和可编程的流水线架构,使多个原语的组合能够实现监视器。该奖项反映了NSF的法定使命,并通过使用基金会的智力价值和更广泛的影响审查标准进行评估,被认为值得支持。
项目成果
期刊论文数量(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 }}
Konstantinos Mamouras其他文献
Kleene Algebra with Products and Iteration Theories
克林代数与乘积和迭代理论
- DOI:
- 发表时间:
2013 - 期刊:
- 影响因子:0
- 作者:
D. Kozen;Konstantinos Mamouras - 通讯作者:
Konstantinos Mamouras
Completeness and incompleteness in nominal Kleene algebra
名义 Kleene 代数的完备性和不完备性
- DOI:
- 发表时间:
2015 - 期刊:
- 影响因子:0
- 作者:
D. Kozen;Konstantinos Mamouras;Alexandra Silva - 通讯作者:
Alexandra Silva
Static Analysis for Checking the Disambiguation Robustness of Regular Expressions
检查正则表达式消歧鲁棒性的静态分析
- DOI:
- 发表时间:
2024 - 期刊:
- 影响因子:0
- 作者:
Konstantinos Mamouras;Alexis Le Glaunec;Wu Angela Li;A. Chattopadhyay - 通讯作者:
A. Chattopadhyay
Nominal Kleene Coalgebra
名义克林代数
- DOI:
- 发表时间:
2015 - 期刊:
- 影响因子:0
- 作者:
D. Kozen;Konstantinos Mamouras;Daniela Petrisan;Alexandra Silva - 通讯作者:
Alexandra Silva
KAT + B
凯特B
- DOI:
- 发表时间:
2014 - 期刊:
- 影响因子:0
- 作者:
Niels Bjørn;Bugge Grathwohl;Dexter Kozen;Konstantinos Mamouras - 通讯作者:
Konstantinos Mamouras
Konstantinos Mamouras的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Konstantinos Mamouras', 18)}}的其他基金
CAREER: Programming Abstractions and Formal Reasoning for IoT Application Development
职业:物联网应用程序开发的编程抽象和形式推理
- 批准号:
2340479 - 财政年份:2024
- 资助金额:
$ 75万 - 项目类别:
Continuing Grant
SHF: Small: Programming Foundations for Real-Time Data Analysis
SHF:小型:实时数据分析的编程基础
- 批准号:
2008096 - 财政年份:2020
- 资助金额:
$ 75万 - 项目类别:
Standard Grant
相似海外基金
RII Track-4:NSF: Integrated Electrochemical-Optical Microscopy for High Throughput Screening of Electrocatalysts
RII Track-4:NSF:用于高通量筛选电催化剂的集成电化学光学显微镜
- 批准号:
2327025 - 财政年份:2024
- 资助金额:
$ 75万 - 项目类别:
Standard Grant
RII Track-4:NSF: Resistively-Detected Electron Spin Resonance in Multilayer Graphene
RII Track-4:NSF:多层石墨烯中电阻检测的电子自旋共振
- 批准号:
2327206 - 财政年份:2024
- 资助金额:
$ 75万 - 项目类别:
Standard Grant
RII Track-4:NSF: Improving subseasonal-to-seasonal forecasts of Central Pacific extreme hydrometeorological events and their impacts in Hawaii
RII Track-4:NSF:改进中太平洋极端水文气象事件的次季节到季节预报及其对夏威夷的影响
- 批准号:
2327232 - 财政年份:2024
- 资助金额:
$ 75万 - 项目类别:
Standard Grant
RII Track-4:NSF: Design of zeolite-encapsulated metal phthalocyanines catalysts enabled by insights from synchrotron-based X-ray techniques
RII Track-4:NSF:通过基于同步加速器的 X 射线技术的见解实现沸石封装金属酞菁催化剂的设计
- 批准号:
2327267 - 财政年份:2024
- 资助金额:
$ 75万 - 项目类别:
Standard Grant
RII Track-4:NSF: From the Ground Up to the Air Above Coastal Dunes: How Groundwater and Evaporation Affect the Mechanism of Wind Erosion
RII Track-4:NSF:从地面到沿海沙丘上方的空气:地下水和蒸发如何影响风蚀机制
- 批准号:
2327346 - 财政年份:2024
- 资助金额:
$ 75万 - 项目类别:
Standard Grant
RII Track-4:NSF: In-Situ/Operando Characterizations of Single Atom Catalysts for Clean Fuel Generation
RII Track-4:NSF:用于清洁燃料生成的单原子催化剂的原位/操作表征
- 批准号:
2327349 - 财政年份:2024
- 资助金额:
$ 75万 - 项目类别:
Standard Grant
RII Track-4: NSF: Fundamental study on hydrogen flow in porous media during repetitive drainage-imbibition processes and upscaling for underground energy storage
RII Track-4:NSF:重复排水-自吸过程中多孔介质中氢气流动的基础研究以及地下储能的升级
- 批准号:
2327317 - 财政年份:2024
- 资助金额:
$ 75万 - 项目类别:
Standard Grant
RII Track-4:@NASA: Wind-induced noise in the prospective seismic data measured in the Venusian surface environment
RII Track-4:@NASA:金星表面环境中测量的预期地震数据中的风致噪声
- 批准号:
2327422 - 财政年份:2024
- 资助金额:
$ 75万 - 项目类别:
Standard Grant
RII Track-4:NSF: An Integrated Urban Meteorological and Building Stock Modeling Framework to Enhance City-level Building Energy Use Predictions
RII Track-4:NSF:综合城市气象和建筑群建模框架,以增强城市级建筑能源使用预测
- 批准号:
2327435 - 财政年份:2024
- 资助金额:
$ 75万 - 项目类别:
Standard Grant
RII Track-4: NSF: Developing 3D Models of Live-Endothelial Cell Dynamics with Application Appropriate Validation
RII Track-4:NSF:开发活内皮细胞动力学的 3D 模型并进行适当的应用验证
- 批准号:
2327466 - 财政年份:2024
- 资助金额:
$ 75万 - 项目类别:
Standard Grant