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.
关键词
逻辑混淆攻击/门级信息流追踪/集成电路/知识产权保护
Key words
logic obfuscation attack/gate level information flow tracking/integrated circuits/intellectual property protection
维普
万方数据