A logic obfuscation attack method based on gate-level information flow tracing techniques

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

¹ Beijing Smart-Chip Microelectronics Technology Co., Ltd., Beijing 100000, China
² Shenzhen Research Institute of Northwestern Polytechnical University, Xi’an 710072, China

Received: 20 February 2023

Abstract

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 algorithms with two test area costs.

摘要

逻辑混淆技术是一种实现知识产权保护、防止逆向工程的主流技术手段。提出了基于门级信息流追踪技术的逻辑混淆攻击方法, 采用门级抽象层次上的信息流分析方法, 建立信息流模型, 对输出及其污染标签进行约束, 使用SAT求解器求解满足约束条件的混淆密钥序列。实验结果表明该攻击方法对5种混淆加密算法、2种面积开销生成的测试基准有很好的破解效果和效率。