CAREER: Hardware/Software Codesign for Secure Embedded Systems: Methods and Education
职业:安全嵌入式系统的硬件/软件协同设计:方法和教育
基本信息
- 批准号:0644070
- 负责人:
- 金额:$ 40万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Continuing Grant
- 财政年份:2007
- 资助国家:美国
- 起止时间:2007-01-15 至 2012-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Patrick SchaumontVirginia Polytechnic Institute and State UniversityCAREER: Hardware/Software Codesign for Secure Embedded Systems: Methods and Education0644070Panel ID: 070111AbstractThe implementation of a secure cipher within the embedded electronics of a smart-card can have a large number of weak points, which are unrelated to the cryptographic strength of that cipher. Side-channel information leaks may disclose internal secrets through the cipher's power consumption, execution time, and other physical implementation effects. Affecting hardware as well as software, these leaks show that a secure embedded system is no stronger than its weakest link.This project creates a systematic design approach that iteratively partitions an embedded system into a security-critical and a non-critical part. The partitioning goes across the boundaries of hardware and software and is guided by side-channel estimators. The partitioned components are then safely integrated using secure hardware-software interfaces. The result is a flexible yet secure system design, that combines the flexibility of software with the robustness of hardware.The project's intellectual merit is a design methodology for secure embedded system design. The methodology complements a traditional embedded design approach that focuses on performance and design-cost but not on security and side-channel information leaks.The project trains computer engineers at the undergraduate level in hardware/software codesign, and at the graduate level in secure embedded systems design. The training software from this course forms the basis of the secure design flow, and it is freely distributed on CD-ROM. The software is serving other academic institutions that establish similar undergraduate courses. The secure methodology enables collaboration between embedded system designers and cryptographers, and helps them to build embedded systems that are less prone to attacks and fraud.
Patrick SchaumontVirginia理工学院和州立大学职业:安全嵌入式系统的硬件/软件协同设计:方法和教育摘要在智能卡的嵌入式电子设备中实现安全密码可能存在大量的弱点,这些弱点与该密码的加密强度无关。侧信道信息泄露可能会通过密码的功耗、执行时间和其他物理实现效果泄露内部秘密。这些漏洞不仅影响硬件,也影响软件,表明一个安全的嵌入式系统并不比它最薄弱的环节更强大。这个项目创建了一个系统的设计方法,迭代地将嵌入式系统划分为安全关键部分和非关键部分。分割跨越硬件和软件的边界,并由旁信道估计器指导。然后使用安全的硬件软件接口安全地集成分区组件。其结果是一个灵活而安全的系统设计,结合了软件的灵活性和硬件的健壮性。该方案的智力优势在于为安全嵌入式系统的设计提供了一种设计方法。该方法是传统嵌入式设计方法的补充,传统嵌入式设计方法关注性能和设计成本,而不关注安全性和侧信道信息泄漏。该项目培训计算机工程师在硬件/软件协同设计的本科水平,并在安全嵌入式系统设计的研究生水平。本课程的培训软件构成了安全设计流程的基础,并以光盘形式免费分发。该软件正在为其他开设类似本科课程的学术机构提供服务。安全方法支持嵌入式系统设计人员和密码学家之间的协作,并帮助他们构建不容易受到攻击和欺诈的嵌入式系统。
项目成果
期刊论文数量(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 }}
Patrick Schaumont其他文献
Introduction to the CHES 2012 special issue
- DOI:
10.1007/s13389-013-0055-5 - 发表时间:
2013-02-27 - 期刊:
- 影响因子:1.400
- 作者:
Emmanuel Prouff;Patrick Schaumont - 通讯作者:
Patrick Schaumont
Low Power Digital Frequency Conversion Architectures
- DOI:
10.1023/a:1008092014351 - 发表时间:
1998-02-01 - 期刊:
- 影响因子:1.800
- 作者:
Patrick Schaumont;Serge Vernalde;Marc Engels;Ivo Bolsens - 通讯作者:
Ivo Bolsens
Parasitic Circus: On the Feasibility of Golden Free PCB Verification
寄生马戏团:论无金PCB验证的可行性
- DOI:
- 发表时间:
2024 - 期刊:
- 影响因子:0
- 作者:
Maryam Saadat;Patrick Schaumont;Shahin Tajik - 通讯作者:
Shahin Tajik
The ASHES 2020 special issue at JCEN
- DOI:
10.1007/s13389-022-00300-2 - 发表时间:
2022-09-12 - 期刊:
- 影响因子:1.400
- 作者:
Chip-Hong Chang;Stefan Katzenbeisser;Ulrich Rührmair;Patrick Schaumont - 通讯作者:
Patrick Schaumont
Lightning Talk: The Incredible Shrinking Black Box Model
闪电演讲:令人难以置信的缩小黑匣子模型
- DOI:
- 发表时间:
2023 - 期刊:
- 影响因子:0
- 作者:
Patrick Schaumont - 通讯作者:
Patrick Schaumont
Patrick Schaumont的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Patrick Schaumont', 18)}}的其他基金
Collaborative: FMitF: Track I: A Principled Approach to Modeling and Analysis of Hardware Fault Attacks on Embedded Software
协作:FMitF:第一轨:嵌入式软件硬件故障攻击建模和分析的原则方法
- 批准号:
2219810 - 财政年份:2022
- 资助金额:
$ 40万 - 项目类别:
Standard Grant
RAPID: Collaborative: A privacy-preserving contact tracing system for COVID-19 containment and mitigation
RAPID:协作:用于遏制和缓解 COVID-19 的隐私保护接触者追踪系统
- 批准号:
2028190 - 财政年份:2020
- 资助金额:
$ 40万 - 项目类别:
Standard Grant
NSF Student Travel Grant for 2019 Conference on Cryptographic Hardware and Embedded Systems (CHES)
2019 年加密硬件和嵌入式系统 (CHES) 会议 NSF 学生旅费补助金
- 批准号:
1936003 - 财政年份:2019
- 资助金额:
$ 40万 - 项目类别:
Standard Grant
NSF Student Travel Grant for 2018 Conference on Cryptographic Hardware and Embedded Systems
2018 年加密硬件和嵌入式系统会议 NSF 学生旅费补助金
- 批准号:
1827816 - 财政年份:2018
- 资助金额:
$ 40万 - 项目类别:
Standard Grant
TWC: Small: Secure by Construction: An Automated Approach to Comprehensive Side Channel Resistance
TWC:小型:通过构造实现安全:综合侧通道阻力的自动化方法
- 批准号:
1617203 - 财政年份:2016
- 资助金额:
$ 40万 - 项目类别:
Standard Grant
SaTC: STARSS: FAME: Fault-attack Awareness using Microprocessor Enhancements
SaTC:STARSS:FAME:使用微处理器增强功能的故障攻击意识
- 批准号:
1441710 - 财政年份:2014
- 资助金额:
$ 40万 - 项目类别:
Standard Grant
TC: Medium: From Statistics to Circuits: Foundations for Future On-chip Fingerprints
TC:媒介:从统计到电路:未来片上指纹的基础
- 批准号:
0964680 - 财政年份:2010
- 资助金额:
$ 40万 - 项目类别:
Continuing Grant
II-NEW: Infrastructure to Collect and Analyze Circuit Variability in FPGAs
II-新:收集和分析 FPGA 中电路变异性的基础设施
- 批准号:
0855095 - 财政年份:2009
- 资助金额:
$ 40万 - 项目类别:
Standard Grant
相似海外基金
CAREER: Data-Driven Hardware and Software Techniques to Enable Sustainable Data Center Services
职业:数据驱动的硬件和软件技术,以实现可持续的数据中心服务
- 批准号:
2340042 - 财政年份:2024
- 资助金额:
$ 40万 - 项目类别:
Continuing Grant
CAREER: Efficient Large Language Model Inference Through Codesign: Adaptable Software Partitioning and FPGA-based Distributed Hardware
职业:通过协同设计进行高效的大型语言模型推理:适应性软件分区和基于 FPGA 的分布式硬件
- 批准号:
2339084 - 财政年份:2024
- 资助金额:
$ 40万 - 项目类别:
Continuing Grant
CAREER: Enabling Scalable and Resilient Quantum Computer Architectures through Synergistic Hardware-Software Co-Design
职业:通过协同硬件软件协同设计实现可扩展且有弹性的量子计算机架构
- 批准号:
2340267 - 财政年份:2024
- 资助金额:
$ 40万 - 项目类别:
Continuing Grant
CAREER: Enabling Robust and Adaptive Architectures through a Decoupled Security-Centric Hardware/Software Stack
职业:通过解耦的以安全为中心的硬件/软件堆栈实现鲁棒性和自适应架构
- 批准号:
2238548 - 财政年份:2023
- 资助金额:
$ 40万 - 项目类别:
Continuing Grant
CAREER: Learning-Based Hardware and Software Techniques for Quality-of-Service-Aware Cloud Microservices
职业:基于学习的硬件和软件技术,用于服务质量感知的云微服务
- 批准号:
2326182 - 财政年份:2023
- 资助金额:
$ 40万 - 项目类别:
Continuing Grant
CAREER: Scalable Assurance via Verifiable Hardware-Software Contracts
职业:通过可验证的硬件软件合同提供可扩展的保证
- 批准号:
2236855 - 财政年份:2023
- 资助金额:
$ 40万 - 项目类别:
Continuing Grant
CAREER: Countering Emerging Software Threats with Adaptive Hardening, Debloating, and Hardware-assisted Protection
职业:通过自适应强化、反膨胀和硬件辅助保护来应对新兴软件威胁
- 批准号:
2238467 - 财政年份:2023
- 资助金额:
$ 40万 - 项目类别:
Continuing Grant
CAREER: Towards Learning-Based Storage Systems with Hardware-Software Co-Design
职业:通过软硬件协同设计实现基于学习的存储系统
- 批准号:
2144796 - 财政年份:2022
- 资助金额:
$ 40万 - 项目类别:
Continuing Grant
CAREER: Hardware/Software Co-design for Serverless Computing
职业:无服务器计算的硬件/软件协同设计
- 批准号:
2146475 - 财政年份:2022
- 资助金额:
$ 40万 - 项目类别:
Continuing Grant
CAREER: Architecting a Hardware-Software Co-Designed Data Management System for Heterogeneous Memory Computers
职业:为异构内存计算机构建软硬件协同设计的数据管理系统
- 批准号:
2144883 - 财政年份:2022
- 资助金额:
$ 40万 - 项目类别:
Continuing Grant