FSMLock: Sequential Logic Locking Case Study. - Jacob LaPietra; Michael T. Kurdziel; Marcin Lukowiak (MIXDES, 2025)