A SAT-based reverse engineering method combines power-analysis-derived Hamming distances with input-output observations to recover 90-100% of finite state machine transitions in small benchmark circuits.
Table II demonstrated that the inferred HD values are within an error margin of one, except for self-loop transitions whose 0-HD values can be precisely identified
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
eess.SY 1years
2019 1verdicts
REJECT 1representative citing papers
citing papers explorer
-
Non-Invasive Reverse Engineering of Finite State Machines Using Power Analysis and Boolean Satisfiability
A SAT-based reverse engineering method combines power-analysis-derived Hamming distances with input-output observations to recover 90-100% of finite state machine transitions in small benchmark circuits.