OptiSecure – Securing Nano-Circuits against Optical Probing
OptiSecure â 保护纳米电路免受光学探测
基本信息
- 批准号:439918011
- 负责人:
- 金额:--
- 依托单位:
- 依托单位国家:德国
- 项目类别:Priority Programmes
- 财政年份:
- 资助国家:德国
- 起止时间:
- 项目状态:未结题
- 来源:
- 关键词:
项目摘要
Optical probing enables the contactless extraction of secret information from integrated nano-circuits and has been successfully applied on several secure circuits. Despite the severe implications of this type of passive attack, no relevant countermeasures are being deployed so far. Positioned in Area 1 (Nano-electronics for security) and the interdisciplinary group IG3 (Resilience against physical attacks) of the matrix of this call, the project at hand aims at investigating methods that enable the protection of future integrated nano-circuits against optical probing attacks. To this end, a technology model for the exploration of the relation between geometrical characteristics of the integrated devices and its susceptibility to optical probing attacks shall be derived. At the same time, it shall be investigated how alternative logic styles and design methodologies can contribute as countermeasures against this kind of passive attack. Furthermore, new kinds of similar optical attacks shall be developed and evaluated in terms of its threat potential. Finally, several test structures and its hardened counterparts shall be integrated in a physical circuit and extensively tested.
光学探测实现了从集成纳米电路中非接触地提取秘密信息,并已成功地应用于几个安全电路中。尽管这种被动攻击具有严重影响,但到目前为止还没有部署相关对策。该项目定位于此次电话会议矩阵的区域1(纳米电子安全)和跨学科小组IG3(抵御物理攻击),旨在研究能够保护未来的集成纳米电路免受光学探测攻击的方法。为此,应推导出一个技术模型,用于探索集成器件的几何特性与其对光学探测攻击的敏感性之间的关系。同时,还应研究替代的逻辑风格和设计方法如何有助于应对这种被动攻击。此外,还应根据其威胁潜力开发和评估新类型的类似光学攻击。最后,应将几个测试结构及其加固的对应结构集成到一个物理电路中并进行广泛测试。
项目成果
期刊论文数量(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
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
EMBOSOM - Emigrating Embedded Software Security into Modern Emerging Hardware Paradigms
EMBOSOM - 将嵌入式软件安全迁移到现代新兴硬件范例中
- 批准号:
535695900 - 财政年份:
- 资助金额:
-- - 项目类别:
Priority Programmes
相似海外基金
Securing the Future: Inclusive Cybersecurity Education for All
确保未来:全民包容性网络安全教育
- 批准号:
2350448 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Standard Grant
CAREER: Securing Next-Generation Transportation Infrastructure: A Traffic Engineering Perspective
职业:保护下一代交通基础设施:交通工程视角
- 批准号:
2339753 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Standard Grant
Ownership-based Alias Analysis for Securing Unsafe Rust Programs
用于保护不安全 Rust 程序的基于所有权的别名分析
- 批准号:
DP240103194 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Discovery Projects
CAREER: Securing Off-premise Digital Services in the Presence of Strategic Incentives
职业:在战略激励的情况下确保场外数字服务的安全
- 批准号:
2337338 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Continuing Grant
CAREER: Securing the Future of Electric Field Measurements in Space Physics
职业:确保空间物理电场测量的未来
- 批准号:
2338825 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Continuing Grant
CAREER: Securing and Evolving Internet Security Protocols for Naming and Routing
职业:保护和发展用于命名和路由的互联网安全协议
- 批准号:
2339378 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Continuing Grant
Securing Convergent Ultra-large Scale Infrastructures
确保融合超大规模基础设施的安全
- 批准号:
EP/Z531315/1 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Research Grant
DHSC Securing Better Health - Economics and/or Social Research Fellowship
DHSC 确保更好的健康 - 经济学和/或社会研究奖学金
- 批准号:
ES/Y003926/1 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Fellowship
Securing Transparency And Reproducibility in studies of Nutritional interventions (STAR-Nut)
确保营养干预研究的透明度和可重复性 (STAR-Nut)
- 批准号:
MR/Z503824/1 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Research Grant
CRII: SaTC: Securing Smart Devices with AI-Powered mmWave Radar in New-Generation Wireless Networks
CRII:SaTC:在新一代无线网络中使用人工智能驱动的毫米波雷达保护智能设备
- 批准号:
2422863 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Standard Grant