Improving FSM State Enumeration Performance for Hardware Security with RECUT and REFSM-SAT. - Jim Geist; Travis Meade; Shaojie Zhang 001; Yier Jin (CoRR, 2023)

Security Evaluation of State Space Obfuscation of Hardware IP through a Red Team-Blue Team Practice. - Md. Moshiur Rahman 001; Jim Geist; Daniel Xing; Yuntao Liu 001; Ankur Srivastava 001; Travis Meade; Yier Jin; Swarup Bhunia (ACM Trans. Design Autom. Electr. Syst., 2024)