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.

Secure Hardware Design Through Bit-Tight Information Flow Control

The area-efficient gate level information flow tracking schemes of digital circuit with multi-level security lattice

Hardware-Assisted Control-Flow Integrity Enhancement for IoT Devices

Adaptive Call-Site Sensitive Control Flow Integrity

QTFlow: Quantitative Timing-Sensitive Information Flow for Security-Aware Hardware Design on RTL

From Speculation to Security: Practical and Efficient Information Flow Tracking Using Speculative Hardware

HLIFT: A High-Level Information Flow Tracking Method for Detecting Hardware Trojans

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

Transparent and Efficient CFI Enforcement with Intel Processor Trace

HCIC: Hardware-assisted Control-flow Integrity Checking

TroLLoc: Logic Locking and Layout Hardening for IC Security Closure against Hardware Trojans

Security Closure of IC Layouts Against Hardware Trojans

Secure Instruction and Data-Level Information Flow Tracking Model for RISC-V

FuncTeller: How Well Does eFPGA Hide Functionality?

From Speculation to Security

Hardware functional obfuscation with ferroelectric active interconnects

IOTLB-SC: An Accelerator-Independent Leakage Source in Modern Cloud Systems

Output-sensitive Information flow analysis

Hardware Trojan Detection through Information Flow Security Verification

A Hardware-Software Co-design for Efficient Intra-Enclave Isolation

GDSII-Guard: ECO Anti-Trojan Optimization with Exploratory Timing-Security Trade-Offs