基于功耗分析与布尔可满足性的有限状态机非侵入式逆向工程
系统与控制
2019-08-07 v1 密码学与安全
系统与控制
摘要
本文提出一种基于新方法组合功能分析与功耗分析的非侵入式逆向工程攻击，以从同步时序电路实现中恢复有限状态机。所提技术将状态机探索与状态识别问题表述为布尔约束满足问题，并使用SMT（可满足性模理论）求解器求解。它利用功耗测量实现快速收敛。使用LGSynth'91基准测试套件的实验结果表明，基于可满足性的方法比现有技术快数倍，并能成功恢复目标机器90%–100%的转移。
引用
@article{arxiv.1908.01979,
title = {Non-Invasive Reverse Engineering of Finite State Machines Using Power Analysis and Boolean Satisfiability},
author = {Harsh Vamja and Richa Agrawal and Ranga Vemuri},
journal= {arXiv preprint arXiv:1908.01979},
year = {2019}
}
备注
Black-box Analysis, Finite State Machines, Power Analysis, Reverse Engineering, Satisfiability Checking, Proceedings of the 2019 IEEE International Midwest Symposium on Circuits and Systems