Abstract:The globalization of the manufacturing process and the supply chain for electronic hardware has been driven by the need to maximize profitability while lowering risk in a technologically advanced silicon sector. However, many hardware IPs’ security features have been broken because of the rise in successful hardware attacks. Existing security efforts frequently ignore numerous dangers in favor of fixing a particular vulnerability. This inspired the development of a unique method that uses emerging spin-based devices to obfuscate circuitry to secure hardware intellectual property (IP) during fabrication and the supply chain. We propose an Optimized and Automated Secure IC (OASIC) Design Flow, a defense-in-depth approach that can minimize overhead while maximizing security. Our EDA tool flow uses a dynamic obfuscation method that employs dynamic lockboxes, which include switch boxes and magnetic random access memory (MRAM)-based look-up tables (LUT) while offering minimal overhead and being flexible and resilient against modern SAT-based attacks and power side-channel attacks. An EDA tool flow for optimized lockbox insertion is also developed to generate SAT-resilient design netlists with the least power and area overhead. PPA metrics and security (SAT attack time) are provided to the designer for each lockbox insertion run. A verification methodology is provided to verify locked and unlocked designs for functional correctness. Finally, we use ISCAS’85 benchmarks to show that the EDA tool flow provides a secure hardware netlist with maximum security while considering power and area constraints. Our results indicate that the proposed OASIC design flow can maximize security while incurring less than 15% area overhead and maintaining a similar power footprint compared to the original design. OASIC design flow demonstrates improved performance as design size increases, which demonstrates the scalability of the proposed approach.

Exploiting Spin-Orbit Torque Devices As Reconfigurable Logic for Circuit Obfuscation

Secure and Low-Overhead Circuit Obfuscation Technique with Multiplexers

Cyclic Obfuscation for Creating SAT-Unresolvable Circuits.

Scalable Attack-Resistant Obfuscation of Logic Circuits

Toward a Formal and Quantitative Evaluation Framework for Circuit Obfuscation Methods

An Overview of FPGA-inspired Obfuscation Techniques

RTL Interconnect Obfuscation By Polymorphic Switch Boxes For Secure Hardware Generation

Removal of SAT-Hard Instances in Logic Obfuscation Through Inference of Functionality

Randomized Reversible Gate-Based Obfuscation for Secured Compilation of Quantum Circuit

The logic obfuscation of LFSR with the crosstalk based polymorphic gate

Reconfigurable spintronic logic gate utilizing precessional magnetization switching

Circuit Obfuscation and Oracle-Guided Attacks: Who Can Prevail?

Hardware functional obfuscation with ferroelectric active interconnects

Optimized and Automated Secure IC Design Flow: A Defense-in-Depth Approach

Automated Hardware Logic Obfuscation Framework Using GPT

UNTANGLE: Unlocking Routing and Logic Obfuscation Using Graph Neural Networks-based Link Prediction

IP Protection and Supply Chain Security through Logic Obfuscation

ALT-Lock: Logic and Timing Ambiguity-Based IP Obfuscation Against Reverse Engineering

Spin Logic Devices Via Electric Field Control of Field-Free Spin-Orbit Torque Switching With Bilateral Voltages

An Orthogonal Algorithm for Key Management in Hardware Obfuscation

Security Evaluation of State Space Obfuscation of Hardware IP through a Red Team – Blue Team Practice