首页|基于门级信息流追踪技术的逻辑混淆攻击方法

基于门级信息流追踪技术的逻辑混淆攻击方法

扫码查看
逻辑混淆技术是一种实现知识产权保护、防止逆向工程的主流技术手段.提出了基于门级信息流追踪技术的逻辑混淆攻击方法,采用门级抽象层次上的信息流分析方法,建立信息流模型,对输出及其污染标签进行约束,使用SAT求解器求解满足约束条件的混淆密钥序列.实验结果表明该攻击方法对5 种混淆加密算法、2 种面积开销生成的测试基准有很好的破解效果和效率.
A logic obfuscation attack method based on gate-level information flow tracing techniques
Logical obfuscation technique is a mainstream technical means to achieve intellectual property protection and prevent reverse engineering.In this paper,we propose a logical obfuscation attack method based on the gate-level information flow tracking technique,using the information flow analysis method at the gate-level abstraction level,establishing an information flow model,constraining the output and its contamination labels,and solving the obfuscation key sequence satisfying the constraints using an SAT solver.The experimental results show that the attack method has good cracking effect and efficiency for benchmarks generated by five obfuscated encryption algo-rithms with two test area costs.

logic obfuscation attackgate level information flow trackingintegrated circuitsintellectual property protection

刘亮、朱嘉诚、张喆、沈利香、孙玉峰、慕德俊

展开 >

北京智芯微电子科技有限公司,北京 100000

西北工业大学深圳研究院,广东 深圳 518057

逻辑混淆攻击 门级信息流追踪 集成电路 知识产权保护

北京智芯微电子科技有限公司实验室开放基金

SGSC0000SJQT2207164

2024

西北工业大学学报
西北工业大学

西北工业大学学报

CSTPCD北大核心
影响因子:0.496
ISSN:1000-2758
年,卷(期):2024.42(1)
  • 11