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.
Therefore, for any two transitions resulting in different outputs, it can be inferred that their resulting states are distinct from one another
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.