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.

On the Complexity of Generating Gate Level Information Flow Tracking Logic

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

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

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

Information Flow Coverage Metrics for Hardware Security Verification

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

Output-sensitive Information flow analysis

SoftFlow: Automated HW-SW Confidentiality Verification for Embedded Processors

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

Transparent and Efficient CFI Enforcement with Intel Processor Trace

Quantifying the Efficacy of Logic Locking Methods

FuncTeller: How Well Does eFPGA Hide Functionality?

A Module-Level Configuration Methodology for Programmable Camouflaged Logic

Design for Assurance: Employing Functional Verification Tools for Thwarting Hardware Trojan Threat in 3PIPs

Hardware Trojan Detection through Information Flow Security Verification

Highway to HAL: Open-Sourcing the First Extendable Gate-Level Netlist Reverse Engineering Framework

A high-level information flow tracking method for detecting information leakage

Security Closure of IC Layouts Against Hardware Trojans

Unraveling Latch Locking Using Machine Learning, Boolean Analysis, and ILP

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