EMBOSOM - Emigrating Embedded Software Security into Modern Emerging Hardware Paradigms
EMBOSOM - 将嵌入式软件安全迁移到现代新兴硬件范例中
基本信息
- 批准号:535695900
- 负责人:
- 金额:--
- 依托单位:
- 依托单位国家:德国
- 项目类别:Priority Programmes
- 财政年份:
- 资助国家:德国
- 起止时间:
- 项目状态:未结题
- 来源:
- 关键词:
项目摘要
In order to protect software against the exploitation of vulnerabilities, it is paramount to have sufficient protection mechanisms in place. This is especially important in the embedded domain, where such vulnerabilities can cause harm in the real world. However, prior work has shown that common software protection mechanisms are not available in this domain. While state-of-the-art protection mechanisms are mainly implemented in software, an emerging research direction is implementing such techniques directly in the hardware. Unfortunately, existing work in this domain targets non-constrained conventional devices which have a different threat model. Furthermore, existing work on such hardware protection mechanisms imposes a significant impact on essential characteristics of the embedded domain such as chip size, performance, and production costs. We want to develop a novel hardware-based security mechanism which is specifically tailored to the threat model of the embedded domain and leverages emerging technologies (e.g. memristor-based in-memory computing) to reduce the impact on performance, power consumption, and chip size. The proposal belongs to research area 3 (Secure Composition and Integration) and the interdisciplinary group on secure processing via hardware-supported data separation and isolation (IG2) of the call's matrix.
为了保护软件不受漏洞利用,最重要的是要有足够的保护机制。这在嵌入式领域中尤其重要,因为此类漏洞可能会在真实的世界中造成危害。然而,先前的工作表明,在这个领域中没有通用的软件保护机制。虽然最先进的保护机制主要在软件中实现,但一个新兴的研究方向是直接在硬件中实现这些技术。不幸的是,现有的工作在这个领域的目标是非约束的传统设备,具有不同的威胁模型。此外,这种硬件保护机制的现有工作对嵌入式领域的基本特性,如芯片尺寸,性能和生产成本产生了重大影响。我们希望开发一种新的基于硬件的安全机制,专门针对嵌入式领域的威胁模型,并利用新兴技术(例如基于忆阻器的内存计算)来减少对性能,功耗和芯片尺寸的影响。该提案属于研究领域3(安全组成和集成)和跨学科小组通过硬件支持的数据分离和隔离(IG2)的调用矩阵的安全处理。
项目成果
期刊论文数量(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 }}
Professor Dr. Rolf Drechsler其他文献
Professor Dr. Rolf Drechsler的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Professor Dr. Rolf Drechsler', 18)}}的其他基金
MANIAC: BDD Manipulation for Approximate Computing
MANIAC:近似计算的 BDD 操作
- 批准号:
283653053 - 财政年份:2015
- 资助金额:
-- - 项目类别:
Research Grants
Entwicklung eines durchgängigen Verifikationsablaufes für den ESL Entwurf
为 ESL 草案制定一致的验证流程
- 批准号:
188461301 - 财政年份:2011
- 资助金额:
-- - 项目类别:
Reinhart Koselleck Projects
Qualitätsorientierte Synthese großer Funktionen in reversibler Logik
可逆逻辑中大函数的面向质量的综合
- 批准号:
147703507 - 财政年份:2009
- 资助金额:
-- - 项目类别:
Research Grants
Formaler Robustheitsnachweis im computergestützten Schaltkreisentwurf
计算机辅助电路设计稳健性的形式证明
- 批准号:
61273444 - 财政年份:2008
- 资助金额:
-- - 项目类别:
Research Grants
Effiziente Erfüllbarkeitsalgorithmen für die Generierung von Testmustern
用于生成测试模式的高效可满足性算法
- 批准号:
15765440 - 财政年份:2006
- 资助金额:
-- - 项目类别:
Research Grants
Formale Verifikation von Schaltkreisen unter Verwendung von Informationen der Hochsprachenebene
使用高级语言信息对电路进行形式化验证
- 批准号:
5369462 - 财政年份:2002
- 资助金额:
-- - 项目类别:
Research Grants
OptiSecure – Securing Nano-Circuits against Optical Probing
OptiSecure â 保护纳米电路免受光学探测
- 批准号:
439918011 - 财政年份:
- 资助金额:
-- - 项目类别:
Priority Programmes
VerA: Fully Automatic Formal Verification of Arithmetic Circuits
VerA:算术电路的全自动形式验证
- 批准号:
436285168 - 财政年份:
- 资助金额:
-- - 项目类别:
Research Grants
PolyVer: Polynomial Verification of Electronic Circuits
PolyVer:电子电路的多项式验证
- 批准号:
431649366 - 财政年份:
- 资助金额:
-- - 项目类别:
Reinhart Koselleck Projects
Unlocking Analog Features and Full Parallelism for HDL-based Synthesis of PLiM
解锁基于 HDL 的 PLiM 合成的模拟功能和完全并行性
- 批准号:
406079023 - 财政年份:
- 资助金额:
-- - 项目类别:
Research Grants
相似海外基金
Doctoral Dissertation Research in Economics: An Economic Analysis of the Perpetual Emigrating Fund
经济学博士论文研究:永久移民基金的经济学分析
- 批准号:
0527777 - 财政年份:2005
- 资助金额:
-- - 项目类别:
Standard Grant