EMBOSOM - Emigrating Embedded Software Security into Modern Emerging Hardware Paradigms
EMBOSOM - Emigrating Embedded Software Security into Modern Emerging Hardware Paradigms
批准号:
535695900
负责人:
Professor Dr. Rolf Drechsler
金额:
$0.0万
依托单位国家:
德国
项目类别:
Priority Programmes
财政年份:
--
资助国家:
德国
项目状态:
未结题
起止时间:
中文摘要
为了保护软件免受漏洞的利用,最重要的是要有足够的保护机制。这在嵌入式领域尤其重要,因为此类漏洞可能在现实世界中造成危害。然而,先前的工作已经表明,通用的软件保护机制在这个领域是不可用的。虽然最先进的保护机制主要在软件中实现,但一个新兴的研究方向是直接在硬件中实现这些技术。不幸的是,该领域的现有工作针对具有不同威胁模型的非约束传统设备。此外,这种硬件保护机制的现有工作对嵌入式领域的基本特征(如芯片尺寸、性能和生产成本)产生了重大影响。我们希望开发一种新的基于硬件的安全机制,专门针对嵌入式领域的威胁模型进行定制,并利用新兴技术(例如基于忆阻器的内存计算)来减少对性能,功耗和芯片尺寸的影响。该提案属于研究领域3(安全组合和集成)和通过硬件支持的呼叫矩阵的数据分离和隔离(IG2)进行安全处理的跨学科小组。
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
MANIAC: BDD Manipulation for Approximate Computing
-
批准号:283653053
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2015
-
负责人:Professor Dr. Rolf Drechsler
-
依托单位:
Entwicklung eines durchgängigen Verifikationsablaufes für den ESL Entwurf
-
批准号:188461301
-
项目类别:Reinhart Koselleck Projects
-
资助金额:$0.0万
-
财政年份:2011
-
负责人:Professor Dr. Rolf Drechsler
-
依托单位:
Qualitätsorientierte Synthese großer Funktionen in reversibler Logik
-
批准号:147703507
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2009
-
负责人:Professor Dr. Rolf Drechsler
-
依托单位:
Formaler Robustheitsnachweis im computergestützten Schaltkreisentwurf
-
批准号:61273444
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2008
-
负责人:Professor Dr. Rolf Drechsler
-
依托单位:
Effiziente Erfüllbarkeitsalgorithmen für die Generierung von Testmustern
-
批准号:15765440
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Professor Dr. Rolf Drechsler
-
依托单位:
Formale Verifikation von Schaltkreisen unter Verwendung von Informationen der Hochsprachenebene
-
批准号:5369462
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2002
-
负责人:Professor Dr. Rolf Drechsler
-
依托单位:
OptiSecure – Securing Nano-Circuits against Optical Probing
-
批准号:439918011
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:--
-
负责人:Professor Dr. Rolf Drechsler
-
依托单位:
VerA: Fully Automatic Formal Verification of Arithmetic Circuits
-
批准号:436285168
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:--
-
负责人:Professor Dr. Rolf Drechsler
-
依托单位:
PolyVer: Polynomial Verification of Electronic Circuits
-
批准号:431649366
-
项目类别:Reinhart Koselleck Projects
-
资助金额:$0.0万
-
财政年份:--
-
负责人:Professor Dr. Rolf Drechsler
-
依托单位:
Unlocking Analog Features and Full Parallelism for HDL-based Synthesis of PLiM
-
批准号:406079023
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:--
-
负责人:Professor Dr. Rolf Drechsler
-
依托单位:
海外基金