SaTC: CORE: Small: Finding and Mitigating Side-channel Leakage in Embedded Architectures
SaTC:核心:小型:查找并减轻嵌入式架构中的侧通道泄漏
基本信息
- 批准号:1931639
- 负责人:
- 金额:$ 50万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2019
- 资助国家:美国
- 起止时间:2019-10-01 至 2023-09-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Electronic devices found in a smart home, automobile, airplane, medical, and industrial applications are becoming more capable of on-the-spot processing information with their own embedded processors. While embedded processors make life easier, they also open the door to theft or corruption of our sensitive data. Malign actors can monitor power or radiation signatures in and around a device, and discover its secrets using side-channel attacks. This research project will improve the embedded programmers' capability to write code with side-channel protection and provides tools to verify their code's side-channel resistance early in the design process.The project will exploit the potential of bit-sliced code to achieve highly deterministic software execution on embedded platforms while facilitating automated insertion of countermeasures against side-channel attacks. This work will develop a process to reorder general-purpose code into bit-sliced form, where each bit of an instruction word is effectively processed independently. Next, Boolean countermeasures against power side-channel attacks will be inserted automatically into the code. Effectiveness of embedded countermeasures will be verified through a novel combination of side-channel leakage detection methodologies during simulation and target prototyping stages. Finally, a leakage mitigation algorithm will iteratively upgrade the bit-sliced code.This research may lead to novel processor architectures and instruction sets for secure embedded applications, in an era where innate security is as important as performance and efficiency. The techniques will support existing processor architectures, and they are compatible with existing embedded design methodologies. Additionally, the methods will lead to the integration of side-channel aware design in the electronic design automation workflow, supporting the development of new and improved architectures. The results of this project will enhance graduate-level courses on cryptographic engineering and on hardware security. The project will also leverage industry collaborations to transfer results, and design tools. The results of this project, including publications, code, and examples, will be hosted online at https://sites.google.com/view/bitslice-mitigation. After the completion of the project, the website will remain online as a reference repository.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.
智能家居、汽车、飞机、医疗和工业应用中的电子设备越来越能够使用自己的嵌入式处理器现场处理信息。虽然嵌入式处理器使生活更轻松,但它们也为窃取或破坏我们的敏感数据打开了大门。恶意攻击者可以监控设备内部和周围的功率或辐射特征,并使用侧信道攻击来发现其秘密。该研究项目将提高嵌入式程序员编写具有侧通道保护的代码的能力,并提供工具,以在设计过程的早期验证其代码的侧通道抵抗力。该项目将利用位切片代码的潜力,实现嵌入式平台上高度确定性的软件执行,同时促进自动插入对抗侧通道攻击的对策。这项工作将开发一个过程来重新排序通用代码成位切片的形式,其中一个指令字的每个位是有效地独立处理。接下来,针对电源侧信道攻击的布尔对策将自动插入到代码中。嵌入式对策的有效性将通过一种新的组合,侧通道泄漏检测方法在模拟和目标原型阶段进行验证。最后,泄漏缓解算法将迭代地升级位切片的代码。这项研究可能会导致新的处理器架构和安全的嵌入式应用程序的指令集,在一个时代,先天的安全性是一样重要的性能和效率。这些技术将支持现有的处理器架构,并且与现有的嵌入式设计方法兼容。此外,这些方法将导致侧通道感知设计在电子设计自动化工作流程中的集成,支持新的和改进的架构的开发。该项目的成果将加强密码工程和硬件安全方面的研究生课程。该项目还将利用行业合作来转移成果和设计工具。该项目的成果,包括出版物、代码和示例,将在https://sites.google.com/view/bitslice-mitigation在线托管。该奖项反映了NSF的法定使命,并通过使用基金会的知识价值和更广泛的影响审查标准进行评估,被认为值得支持。
项目成果
期刊论文数量(11)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Side Channel Resistance at a Cost: A Comparison of ARX-Based Authenticated Encryption
付出代价的侧信道阻力:基于 ARX 的认证加密的比较
- DOI:10.1109/fpl50879.2020.00040
- 发表时间:2020
- 期刊:
- 影响因子:0
- 作者:Coleman, Flora;Rezvani, Behnaz;Sachin, Sachin;Diehl, William
- 通讯作者:Diehl, William
A Scalable DC/DC Converter with Fast Load Transient Response and Security Improvement
具有快速负载瞬态响应和安全性改进的可扩展 DC/DC 转换器
- DOI:10.1109/socc56010.2022.9908087
- 发表时间:2022
- 期刊:
- 影响因子:0
- 作者:Liu, Xingye;Ampadu, Paul
- 通讯作者:Ampadu, Paul
A Scalable Integrated DC/DC Converter with Enhanced Load Transient Response and Security for Emerging SoC Applications
具有增强负载瞬态响应和安全性的可扩展集成 DC/DC 转换器,适用于新兴 SoC 应用
- DOI:10.1109/mwscas54063.2022.9859336
- 发表时间:2022
- 期刊:
- 影响因子:0
- 作者:Liu, Xingye;Ampadu, Paul
- 通讯作者:Ampadu, Paul
Distributed On-Chip Power Supply for Security Enhancement in Multicore NoC
用于增强多核 NoC 安全性的分布式片上电源
- DOI:10.1109/socc52499.2021.9739219
- 发表时间:2021
- 期刊:
- 影响因子:0
- 作者:Liu, Xingye;Ampadu, Paul
- 通讯作者:Ampadu, Paul
Variable Precision Multiplication for Software-Based Neural Networks
- DOI:10.1109/hpec43674.2020.9286170
- 发表时间:2020-09
- 期刊:
- 影响因子:0
- 作者:Richa Singh;Thomas Conroy;P. Schaumont
- 通讯作者:Richa Singh;Thomas Conroy;P. Schaumont
{{
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 }}
Paul Ampadu其他文献
Paul Ampadu的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Paul Ampadu', 18)}}的其他基金
CAREER: Towards Reliable Hybrid CMOS/Nanoelectronics On-Chip Interconnection Networks
职业:迈向可靠的混合 CMOS/纳米电子片上互连网络
- 批准号:
0954999 - 财政年份:2010
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
Dual-Layer Cooperative Error Control for Reliable Nanoscale On-Chip Interconnection Networks
用于可靠的纳米级片上互连网络的双层协作错误控制
- 批准号:
0925993 - 财政年份:2009
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
Reliable Backend Integrated Hybrid Photonic-Electronic Network-on-Chip
可靠的后端集成混合光子电子片上网络
- 批准号:
0903448 - 财政年份:2009
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
SGER: Investigating the Turbo Principle for Reliable Energy-Efficient Networks-on-Chip
SGER:研究可靠节能片上网络的 Turbo 原理
- 批准号:
0733450 - 财政年份:2007
- 资助金额:
$ 50万 - 项目类别:
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 万元
- 项目类别:国际(地区)合作与交流项目
相似海外基金
SaTC: CORE: Small: An evaluation framework and methodology to streamline Hardware Performance Counters as the next-generation malware detection system
SaTC:核心:小型:简化硬件性能计数器作为下一代恶意软件检测系统的评估框架和方法
- 批准号:
2327427 - 财政年份:2024
- 资助金额:
$ 50万 - 项目类别:
Continuing Grant
Collaborative Research: NSF-BSF: SaTC: CORE: Small: Detecting malware with machine learning models efficiently and reliably
协作研究:NSF-BSF:SaTC:核心:小型:利用机器学习模型高效可靠地检测恶意软件
- 批准号:
2338301 - 财政年份:2024
- 资助金额:
$ 50万 - 项目类别:
Continuing Grant
Collaborative Research: NSF-BSF: SaTC: CORE: Small: Detecting malware with machine learning models efficiently and reliably
协作研究:NSF-BSF:SaTC:核心:小型:利用机器学习模型高效可靠地检测恶意软件
- 批准号:
2338302 - 财政年份:2024
- 资助金额:
$ 50万 - 项目类别:
Continuing Grant
SaTC: CORE: Small: NSF-DST: Understanding Network Structure and Communication for Supporting Information Authenticity
SaTC:核心:小型:NSF-DST:了解支持信息真实性的网络结构和通信
- 批准号:
2343387 - 财政年份:2024
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
NSF-NSERC: SaTC: CORE: Small: Managing Risks of AI-generated Code in the Software Supply Chain
NSF-NSERC:SaTC:核心:小型:管理软件供应链中人工智能生成代码的风险
- 批准号:
2341206 - 财政年份:2024
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
Collaborative Research: SaTC: CORE: Small: Towards Secure and Trustworthy Tree Models
协作研究:SaTC:核心:小型:迈向安全可信的树模型
- 批准号:
2413046 - 财政年份:2024
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
SaTC: CORE: Small: Study, Detection and Containment of Influence Campaigns
SaTC:核心:小型:影响力活动的研究、检测和遏制
- 批准号:
2321649 - 财政年份:2023
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
SaTC: CORE: Small: Socio-Technical Approaches for Securing Cyber-Physical Systems from False Claim Attacks
SaTC:核心:小型:保护网络物理系统免受虚假声明攻击的社会技术方法
- 批准号:
2310470 - 财政年份:2023
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
Collaborative Research: SaTC: CORE: Small: Investigation of Naming Space Hijacking Threat and Its Defense
协作研究:SaTC:核心:小型:命名空间劫持威胁及其防御的调查
- 批准号:
2317830 - 财政年份:2023
- 资助金额:
$ 50万 - 项目类别:
Continuing Grant
Collaborative Research: SaTC: CORE: Small: Towards a Privacy-Preserving Framework for Research on Private, Encrypted Social Networks
协作研究:SaTC:核心:小型:针对私有加密社交网络研究的隐私保护框架
- 批准号:
2318843 - 财政年份:2023
- 资助金额:
$ 50万 - 项目类别:
Continuing Grant