CAREER: Integrating Microarchitecture Simulation and Side-Channel Leakage Modeling for Safer Software
职业:集成微架构仿真和侧通道泄漏建模以实现更安全的软件
基本信息
- 批准号:2338623
- 负责人:
- 金额:$ 63.75万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Continuing Grant
- 财政年份:2024
- 资助国家:美国
- 起止时间:2024-07-01 至 2029-06-30
- 项目状态:未结题
- 来源:
- 关键词:
项目摘要
Computers, ranging from embedded systems to servers, are becoming increasingly pervasive and critical in our lives. Whilst these systems carry out their main function, which is computation, they inadvertently generate traces that could potentially disclose sensitive information through alternative physical or digital pathways known as “side-channels.” As we become increasingly dependent upon computing systems, it is more critical than ever to know how side-channel signals can be created, how side-channel leakage can be modeled, and how future software systems should be designed to be robust against side-channel attacks. This proposal explores new methods and tools for quantifying and modeling side-channels for a wide range of processors. Successful completion of this project brings new methods, findings, and open-source tools for analyzing and quantifying side-channels. Various designers and industries can gain advantages from these techniques and tools, including hardware designers, computer architects, compiler designers, and software developers. Our findings enable the construction of secure software systems while reducing cost and time-to-market. As an integral part of this research program, we also propose an educational agenda involving K-12, undergraduate, graduate, and broader security community education.The overall goal of this research proposal is to build a comprehensive tool for side-channel leakage analysis. To achieve this, we first need to improve our modeling capabilities, particularly for physical side-channels, and then focus on integrating these models into established simulation and analysis tools. Based on these needs, our proposal is structured into two research thrusts and an evaluation plan. Each thrust is further broken down into three main research objectives. The first thrust is focused on building an accurate tool to estimate power and electromagnetic (EM) side-channels at the software level. Using three research objectives, we plan to build a model that can accurately model various processor architectures as well as other important components (e.g., accelerators) on a system-on-chip (SoC). The second thrust is focused on modeling microarchitectural side-channels. Specifically, the main goal is to build a new tool that can combine established binary analysis tools with known side-channel leakage models. The ideas proposed will be evaluated using a detailed evaluation plan. We will apply our methods to a wide variety of systems and setups with different hardware and software designs. We will consider various scenarios including different microarchitecture designs (in-order, out-of-order, multicore) and different side-channels (physical electromagnetic signals, digital cache side-channels, transient/speculative side-channels).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.
计算机,从嵌入式系统到服务器,在我们的生活中变得越来越普遍和重要。虽然这些系统执行其主要功能(即计算),但它们无意中生成了可能通过称为“侧通道”的替代物理或数字路径泄露敏感信息的痕迹。随着我们越来越依赖于计算系统,了解如何创建侧信道信号,如何对侧信道泄漏进行建模,以及如何设计未来的软件系统以抵抗侧信道攻击比以往任何时候都更加重要。该提案探索了用于对各种处理器的侧通道进行量化和建模的新方法和工具。该项目的成功完成为分析和量化侧通道带来了新的方法,发现和开源工具。各种设计人员和行业都可以从这些技术和工具中获益,包括硬件设计人员、计算机架构师、编译器设计人员和软件开发人员。我们的研究结果使安全的软件系统的建设,同时降低成本和上市时间。作为本研究计划的一个组成部分,我们还提出了一个教育议程,涉及K-12,本科生,研究生和更广泛的安全社区教育。本研究提案的总体目标是建立一个全面的工具,用于侧通道泄漏分析。为了实现这一目标,我们首先需要提高我们的建模能力,特别是对于物理侧信道,然后专注于将这些模型集成到已建立的仿真和分析工具中。基于这些需求,我们的建议被结构化为两个研究重点和一个评估计划。每一个重点进一步细分为三个主要的研究目标。第一个重点是建立一个准确的工具,以估计功率和电磁(EM)侧通道在软件层面。使用三个研究目标,我们计划建立一个模型,可以准确地模拟各种处理器架构以及其他重要组件(例如,加速器)。第二个重点是对微架构侧通道进行建模。具体而言,主要目标是建立一个新的工具,可以结合联合收割机建立的二元分析工具与已知的侧通道泄漏模型。将使用详细的评估计划对提出的想法进行评估。我们将把我们的方法应用于各种各样的系统和具有不同硬件和软件设计的设置。我们将考虑各种方案,包括不同的微架构设计(有序、无序、多核)和不同的侧通道(物理电磁信号、数字缓存侧通道、瞬态/推测侧通道)。该奖项反映了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 }}
Nader Sehatbakhsh其他文献
SCRIPT: A Multi-Objective Routing Framework for Securing Chiplet Systems against Distributed DoS Attacks
SCRIPT:用于保护 Chiplet 系统免受分布式 DoS 攻击的多目标路由框架
- DOI:
- 发表时间:
2024 - 期刊:
- 影响因子:0
- 作者:
Ebadollah Taheri;Pooya Aghanoury;S. Pasricha;Mahdi Nikdast;Nader Sehatbakhsh - 通讯作者:
Nader Sehatbakhsh
Virtual Keymysteries Unveiled: Detecting Keystrokes in VR with External Side-Channels
揭开虚拟按键的神秘面纱:利用外部侧通道检测 VR 中的按键
- DOI:
- 发表时间:
2024 - 期刊:
- 影响因子:0
- 作者:
Hossein Khalili;Alexander Chen;Theodoros Papaiakovou;Timothy Jacques;Hao;Changwei Liu;Aolin Ding;Amin Hass;Saman A. Zonouz;Nader Sehatbakhsh - 通讯作者:
Nader Sehatbakhsh
A Directive Antenna Based on Conducting Disks for Detecting Unintentional EM Emissions at Large Distances
一种基于导电盘的定向天线,用于检测远距离无意的电磁发射
- DOI:
- 发表时间:
2018 - 期刊:
- 影响因子:5.7
- 作者:
P. Juyal;S. Adibelli;Nader Sehatbakhsh;A. Zajić - 通讯作者:
A. Zajić
Hybrid Obfuscation of Chiplet-Based Systems
基于 Chiplet 的系统的混合混淆
- DOI:
- 发表时间:
2023 - 期刊:
- 影响因子:0
- 作者:
Yousef Safari;Pooya Aghanoury;S. Iyer;Nader Sehatbakhsh;Boris Vaisband - 通讯作者:
Boris Vaisband
Solutions to Deepfakes: Can Camera Hardware, Cryptography, and Deep Learning Verify Real Images?
Deepfakes 解决方案:相机硬件、密码学和深度学习能否验证真实图像?
- DOI:
- 发表时间:
2024 - 期刊:
- 影响因子:0
- 作者:
Alexander Vilesov;Yuan Tian;Nader Sehatbakhsh;A. Kadambi - 通讯作者:
A. Kadambi
Nader Sehatbakhsh的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Nader Sehatbakhsh', 18)}}的其他基金
CSR: Small: Leveraging Physical Side-Channels for Good
CSR:小:利用物理侧通道做好事
- 批准号:
2312089 - 财政年份:2024
- 资助金额:
$ 63.75万 - 项目类别:
Standard Grant
Collaborative Research: SaTC: CORE: Medium: Security and Robustness for Intermittent Computing Using Cross-Layer Post-CMOS Approaches
协作研究:SaTC:CORE:中:使用跨层后 CMOS 方法的间歇计算的安全性和鲁棒性
- 批准号:
2303115 - 财政年份:2023
- 资助金额:
$ 63.75万 - 项目类别:
Continuing Grant
Collaborative Research: CNS Core: Medium: IoCT: System Mechanisms for Enabling an Internet of Collaborative Things
协作研究:CNS 核心:媒介:IoCT:实现协作物联网的系统机制
- 批准号:
2211301 - 财政年份:2022
- 资助金额:
$ 63.75万 - 项目类别:
Standard Grant
相似海外基金
Challenging Health Outcomes/Integrating Care Environments Ph3: A Community Consortium to Tackle Health Disparity for People Living with Mental Illness
挑战健康成果/整合护理环境第三阶段:解决精神疾病患者健康差距的社区联盟
- 批准号:
AH/Z505420/1 - 财政年份:2024
- 资助金额:
$ 63.75万 - 项目类别:
Research Grant
Evaluating the effectiveness and sustainability of integrating helminth control with seasonal malaria chemoprevention in West African children
评估西非儿童蠕虫控制与季节性疟疾化学预防相结合的有效性和可持续性
- 批准号:
MR/X023133/1 - 财政年份:2024
- 资助金额:
$ 63.75万 - 项目类别:
Fellowship
Integrating metabolic signals through FOXO transcriptional complexes.
通过 FOXO 转录复合物整合代谢信号。
- 批准号:
BB/X000265/1 - 财政年份:2024
- 资助金额:
$ 63.75万 - 项目类别:
Research Grant
Collaborative Research: BoCP-Implementation: Alpine plants as a model system for biodiversity dynamics in a warming world: Integrating genetic, functional, and community approaches
合作研究:BoCP-实施:高山植物作为变暖世界中生物多样性动态的模型系统:整合遗传、功能和社区方法
- 批准号:
2326020 - 财政年份:2024
- 资助金额:
$ 63.75万 - 项目类别:
Continuing Grant
Collaborative Research: BoCP-Implementation: Alpine plants as a model system for biodiversity dynamics in a warming world: Integrating genetic, functional, and community approaches
合作研究:BoCP-实施:高山植物作为变暖世界中生物多样性动态的模型系统:整合遗传、功能和社区方法
- 批准号:
2326021 - 财政年份:2024
- 资助金额:
$ 63.75万 - 项目类别:
Standard Grant
Integrating Self-Regulated Learning Into STEM Courses: Maximizing Learning Outcomes With The Success Through Self-Regulated Learning Framework
将自我调节学习融入 STEM 课程:通过自我调节学习框架取得成功,最大化学习成果
- 批准号:
2337176 - 财政年份:2024
- 资助金额:
$ 63.75万 - 项目类别:
Standard Grant
CAREER: Hybridization and radiation: Integrating across phylogenomics, ancestral niche evolution, and pollination biology
职业:杂交和辐射:系统基因组学、祖先生态位进化和授粉生物学的整合
- 批准号:
2337784 - 财政年份:2024
- 资助金额:
$ 63.75万 - 项目类别:
Continuing Grant
EAGER: Integrating Pathological Image and Biomedical Text Data for Clinical Outcome Prediction
EAGER:整合病理图像和生物医学文本数据进行临床结果预测
- 批准号:
2412195 - 财政年份:2024
- 资助金额:
$ 63.75万 - 项目类别:
Standard Grant
Integrating Signals in Iron Homeostasis
将信号整合到铁稳态中
- 批准号:
2343917 - 财政年份:2024
- 资助金额:
$ 63.75万 - 项目类别:
Standard Grant
FDSS Track 1: Integrating Research and Education in Magnetosphere-Ionosphere-Atmosphere Coupling at Clemson University
FDSS Track 1:克莱姆森大学磁层-电离层-大气耦合研究与教育相结合
- 批准号:
2347149 - 财政年份:2024
- 资助金额:
$ 63.75万 - 项目类别:
Continuing Grant