-
Non-Invasive Reverse Engineering of Finite State Machines Using Power Analysis and Boolean Satisfiability
Abstract: 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 (Satisfi… ▽ More
Submitted 6 August, 2019; originally announced August 2019.
Comments: Black-box Analysis, Finite State Machines, Power Analysis, Reverse Engineering, Satisfiability Checking, Proceedings of the 2019 IEEE International Midwest Symposium on Circuits and Systems