EAGER: PUF-Locked Circuit Obfuscation for Counterfeit and Piracy Prevention
EAGER: PUF-Locked Circuit Obfuscation for Counterfeit and Piracy Prevention
批准号:
1651695
负责人:
Hai Zhou
金额:
$10.0万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2016
资助国家:
美国
项目状态:
已结题
起止时间:
2016-10-01 至 2020-03-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
The economic impacts and security hazards of hardware piracy is not apt to be neglected compared to software, but is even more severe. The loss due to global hardware piracy has now reached the level of billions per month, with a major share in almost all electronic devices. It was reported by the Alliance for Gray Market and Counterfeit Abatement that about 10% of the start-of-the-art technology products available on market are counterfeits.In this project, a theory and a framework of circuit obfuscation for hardware counterfeit and piracy prevention are developed. Obfuscation is a technique to make a design obscure therefore hard to understand. The recent theoretical studies on program obfuscation are leveraged, and the project is built on the definition of the best-possible obfuscation. With efficient obfuscators to structurally transform a circuit to an obfuscated one, any security enhancement circuitry such as a PUF-lock or a watermark can be embedded in a circuit without being discovered. Not understanding a design, an potential attacker could not modify the design to remove the security circuitry or to insert any Trojan. Besides the framework and relevant tools for circuit obfuscation, the project also works on a large number of real-world applications to validate the approach.
期刊论文(8)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
SigAttack: New High-level SAT-based Attack on Logic Encryptions
SigAttack:针对逻辑加密的新的基于 SAT 的高级攻击
DOI:
10.23919/date.2019.8714924
发表时间:
2019
期刊:
Testing in Europe (DATE
影响因子:
--
作者:
[Shen, Yuanqi, Li, You, Kong, Shuyu, Rezaei, Amin, Zhou, Hai]
通讯作者:
Zhou, Hai
Rescuing Logic Encryption in Post-SAT Era by Locking & Obfuscation
通过锁定拯救后SAT时代的逻辑加密
DOI:
10.23919/date48585.2020.9116500
发表时间:
2020
期刊:
Testing in Europe (DATE
影响因子:
--
作者:
[Rezaei, Amin, Shen, Yuanqi, Zhou, Hai]
通讯作者:
Zhou, Hai
DOI:
10.1145/3060403.3060469
发表时间:
2017-05
期刊:
Proceedings of the Great Lakes Symposium on VLSI 2017
影响因子:
--
作者:
[Yuanqi Shen;H. Zhou]
通讯作者:
Yuanqi Shen;H. Zhou
Resolving the Trilemma in Logic Encryption
解决逻辑加密中的三难困境
DOI:
10.1109/iccad45719.2019.8942076
发表时间:
2019
期刊:
International Conference on Computer-Aided Design
影响因子:
--
作者:
[Zhou, Hai, Rezaei, Amin, Shen, Yuanqi]
通讯作者:
Shen, Yuanqi
SAT-based bit-flipping attack on logic encryptions
基于 SAT 的逻辑加密位翻转攻击
DOI:
10.23919/date.2018.8342086
发表时间:
2018
期刊:
and Testing in Europe (DATE
影响因子:
--
作者:
[Shen, Yuanqi, Rezaei, Amin, Zhou, Hai]
通讯作者:
Zhou, Hai
共 8 条
SaTC: CORE: Small: Efficient Logic Encryptions for Hardware IP Protection
-
批准号:2113704
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2021
-
负责人:Hai Zhou
-
依托单位:
SaTC: STARSS: ICM: Invariant Carrying Machine for Hardware Assurance
-
批准号:1441695
-
项目类别:Standard Grant
-
资助金额:$33.33万
-
财政年份:2014
-
负责人:Hai Zhou
-
依托单位:
SHF: Small: Collaborative Research: A Systematic Approach to Multicore Parallel CAD
-
批准号:1115550
-
项目类别:Standard Grant
-
资助金额:$24.0万
-
财政年份:2011
-
负责人:Hai Zhou
-
依托单位:
CPA-DA: Efficient Sequential Synthesis and Optimization for High-Performance Circuits
-
批准号:0811270
-
项目类别:Continuing Grant
-
资助金额:$30.0万
-
财政年份:2008
-
负责人:Hai Zhou
-
依托单位:
SoD-TEAM: Robust System Design Under Weak Component Assumptions
-
批准号:0613967
-
项目类别:Standard Grant
-
资助金额:$20.0万
-
财政年份:2006
-
负责人:Hai Zhou
-
依托单位:
CAREER: Formal Methods for Silicon Complexity in Nanometer VLSI Design
-
批准号:0238484
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2003
-
负责人:Hai Zhou
-
依托单位:
国内基金
海外基金
登录
查看更多内容
面向冷链物流运营管理体系的PUF可信安全技术研发
-
批准号:2025JJ70437
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:谭笑
-
依托单位:
基于光敏薄膜涂层PUF的芯片防侵入式攻击研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:
-
依托单位:
基于容性PUF的安全芯片防物理攻击研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:
-
依托单位:
PUF60通过调控SET可变多聚腺苷酸化参与DNA损伤修复促进卵巢癌耐药的机制
-
批准号:82303055
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2023
-
负责人:王子翔
-
依托单位:
基于PUF特征消除的芯片硬件密钥隐匿技术研究
-
批准号:62304073
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2023
-
负责人:张寅
-
依托单位:
基于RRAM的可重构PUF电路设计与轻量级认证协议研究
-
批准号:62371226
-
项目类别:面上项目
-
资助金额:49万元
-
批准年份:2023
-
负责人:王成华
-
依托单位:
氧化镓阻变存储阵列的PUF熵源提取及其微观忆阻机制研究
-
批准号:62304172
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2023
-
负责人:孙静
-
依托单位:
基于PUF数字安全引擎的射频指纹增强技术研究
-
批准号:62374064
-
项目类别:面上项目
-
资助金额:48万元
-
批准年份:2023
-
负责人:胡昂
-
依托单位:
多级混淆强PUF抗机器学习建模攻击研究
-
批准号:62374117
-
项目类别:面上项目
-
资助金额:55.00万元
-
批准年份:2023
-
负责人:李刚
-
依托单位:
面向PUF 响应相异错误率特性及其轻量化应用的研究
-
批准号:2022JJ40377
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2022
-
负责人:庞利会
-
依托单位: