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.
4: Recovery Percentage in One Round for Test Vector Size 100 and 1000 more time to converge with an increase in the number of bit vector variables and constraints
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.