Abstract:Logic locking is a hardware security technique to intellectual property (IP) against security threats in the IC supply chain, especially untrusted fabs. Such techniques incorporate additional locking circuitry within an IC that induces incorrect functionality when an incorrect key is provided. The amount of error induced is known as the effectiveness of the locking technique. "SAT attacks" provide a strong mathematical formulation to find the correct key of locked circuits. In order to achieve high SAT resilience(i.e. complexity of SAT attacks), many conventional logic locking schemes fail to inject sufficient error into the circuit. For example, in the case of SARLock and Anti-SAT, there are usually very few (or only one) input minterms that cause any error at the circuit output. The state-of-the-art stripped functionality logic locking (SFLL) technique introduced a trade-off between SAT resilience and effectiveness. In this work, we prove that such a trade-off is universal in logic locking. In order to attain high effectiveness of locking without compromising SAT resilience, we propose a novel logic locking scheme, called Strong Anti-SAT (SAS). In addition to SAT attacks, removal-based attacks are also popular against logic locking. Based on SAS, we propose Robust SAS (RSAS) which is resilient to removal attacks and maintains the same SAT resilience and as effectiveness as SAS. SAS and RSAS have the following significant improvements over existing techniques. (1) SAT resilience of SAS and RSAS against SAT attack is not compromised by increase in effectiveness. (2) In contrast to prior work focusing solely on the circuit-level locking impact, we integrate SAS-locked modules into a processor and show that SAS has a high application-level impact. (3) Our experiments show that SAS and RSAS exhibit better SAT resilience than SFLL and have similar effectiveness.

A Probabilistic Logics For Rs Latch In Nanoscale

Design of probabilistic-based Markov Random Field logic gates in 65nm CMOS technology

Design of Nano-Scale Noise Tolerant CMOS Logic Circuits Based on Probabilistic Markov Random Field Approach

A New Method of Circuit Reduction Based on Logic State of Transistor

Low Power, and Highly Reliable Single Event Upset Immune Latch for Nanoscale CMOS Technologies

A Probability-Density Function Approach to Capture the Stochastic Dynamics of the Nanomagnet and Impact on Circuit Performance

Nanomagnetic Self-Organizing Logic Gates

Ground-State Probabilistic Logic with the Simplest Binary Energy Landscape for Probabilistic Computing

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

A General Scheme for Noise-Tolerant Logic Design Based on Probabilistic and DCVS Approaches.

Stateful Logic Operations in One-Transistor-One- Resistor Resistive Random Access Memory Array

Programmable Molecular-Nanoparticle Multi-junction Networks for Logic Operations

The stochastic ferroelectric field-effect transistors-based probabilistic-bits: from device physics analysis to invertible logic applications

Robust and Attack Resilient Logic Locking with a High Application-Level Impact

The Synthesis Method of Logic Circuits Based on the Imemcomp Gates

A kinetic Monte Carlo Approach for Boolean Logic Functionality in Gold Nanoparticle Networks

Mott memristor based stochastic neurons for probabilistic computing

Intel LVS Logic As a Combinational Logic Paradigm in CNT Technology

A Survey of Majority Logic Designs in Emerging Nanotechnologies for Computing

Probabilistic Circuit Implementation Based on P-Bits Using the Intrinsic Random Property of RRAM and P-Bit Multiplexing Strategy

Efficiency and controllability of stochastic boolean function generation by a random network of non-linear nanoparticle junctions