An Open-Source Containarized Toolchain for Behavioral FSM Logic Locking

This chapter presents the Open-source Secure Hardware Design and Analysis (OSHDA) framework, specifically developed for the logic locking of finite-state machines (FSMs) at the behavioral abstraction level. OSHDA employs the State Permutation Logic Locking (SPeLL) algorithm, a recent algorithm designed to obfuscate FSM transition graphs. This method circumvents traditional dummy state insertion, minimizing vulnerability to reverse engineering threats. Beyond incorporating the SPeLL algorithm, OSHDA offers a comprehensive logic synthesis pipeline, capable of quantifying the gate-level hardware overhead associated with SPeLL for both FPGA and ASIC implementations. Notably, OSHDA facilitates automated analysis of the balance between security strength and incurred hardware costs. The chapter also examines the resilience of SPeLL by evaluating its resistance against state-of-the-art deobfuscation attacks, highlighting critical research gaps that require attention for effective behavioral level logic-locking deobfuscation. Moreover, OSHDA provides a flexible scripting environment to extend analytical capabilities, integrate additional deobfuscation strategies, and interface seamlessly with physical design tools. To further enhance accessibility and deployment, OSHDA is implemented as a hardware security microservice encapsulated within a Docker framework.