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
财政年份:
--
资助国家:
德国
项目状态:
未结题
起止时间:
中文摘要
点击翻译按钮获取中文摘要
英文摘要
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
-
依托单位:
海外基金