SMASh: A State Encoding Methodology Against Attacks on Finite State Machines. - Gowthami Konganapalle; Sonali Shukla; Virendra Singh (ATS, 2023)