TY - RPRT TI - Non-Invasive Reverse Engineering of Finite State Machines Using Power Analysis and Boolean Satisfiability AU - Harsh Vamja AU - Richa Agrawal AU - Ranga Vemuri PY - 2019 UR - https://arxiv.org/abs/1908.01979 ID - 1908.01979 ER -