2023/11/17 by Geist, Jim, Travis Meade, Meade, Travis +4
Computer Science · #68U07 #Advanced Malware Detection Techniques #Cryptographic Implementations and Security #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Physical Unclonable Functions (PUFs) and Hardware Security
paper · pdf · doi:10.48550/arxiv.2311.10273
openalex publication_date 2023/11/17 · openalex created_date 2023/11/21 · openalex updated_date 2026/07/28
Finite state machines (FSM's) are implemented with sequential circuits and are used to orchestrate the operation of hardware designs. Sequential obfuscation schemes aimed at preventing IP theft often operate by augmenting a design's FSM post-synthesis. Many such schemes are based on the ability to recover the FSM's topology from the synthesized design. In this paper, we present two tools which can improve the performance of topology extraction: RECUT, which extracts the FSM implementation from a netlist, and REFSM-SAT, which solves topology enumeration as a series of SAT problems. In some cases, these tools can improve performance significantly over current methods, attaining up to a 99% decrease in runtime.