Non-Invasive Reverse Engineering of Finite State Machines Using Power Analysis and Boolean Satisfiability. - Harsh Vamja; Richa Agrawal; Ranga Vemuri (MWSCAS, 2019)