基于功耗分析和布尔可满足性的有限状态机非侵入式逆向工程
Non-Invasive Reverse Engineering of Finite State Machines Using Power Analysis and Boolean Satisfiability
摘要：
在本文中，我们提出了一种非侵入性的逆向工程攻击的基础上，结合功能和功率分析，以恢复有限状态机从同步时序电路实现的新方法。所提出的技术制定的机器探索和状态识别问题作为一个布尔约束满足问题，并解决它使用SMT（可满足性模理论）求解器。它使用功率测量来实现快速收敛。使用LGSynth'91基准测试套件的实验结果表明，基于可满足性的方法比现有技术快几倍，并且可以成功地恢复目标机器的90%-100%的转换。
英文摘要：
In this paper, we present a non-invasive reverse engineering attack based on a novel approach that combines functional and power analysis to recover finite state machines from their synchronous sequential circuit implementations. The proposed technique formulates the machine exploration and state identification problem as a Boolean constraint satisfaction problem and solves it using a SMT (Satisfiability Modulo Theories) solver. It uses power measurements to achieve fast convergence. Experimental results using the LGSynth'91 benchmark suite show that the satisfiability-based approach is several times faster compared to existing techniques and can successfully recover 90%-100% of the transitions of a target machine.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
