Results 231 to 240 of about 400,990 (266)

Effect of Conventional and Cathodic Cage Plasma Nitriding on the Mechanical and Corrosion Behavior of AISI 420 Martensitic Stainless Steel. [PDF]

open access: yesACS Omega
Soares do Monte E Silva AF   +10 more
europepmc   +1 more source

Modeling SAT-Attack Search Complexity

2020 IEEE International Symposium on Circuits and Systems (ISCAS), 2020
In this paper, a metric based on mathematical modeling is proposed to evaluate the strength in security of a logic-locked circuit against a satisfiability (SAT) based attack. Current approaches estimate the SAT resilience experimentally based on time-to-solve or the number of calls to a SAT-solver.
Saran Phatharodom   +2 more
openaire   +1 more source

Fa-SAT: Fault-aided SAT-based Attack on Compound Logic Locking Techniques

2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2021
Logic locking has received significant traction as a one-stop solution to thwart attacks at an untrusted foundry, test facility, and end-user. Compound locking schemes were proposed that integrate a low corruption and a high corruption locking technique to circumvent both tailored SAT-based and structural-analysis-based attacks.
Nimisha Limaye   +2 more
openaire   +1 more source

SAT-attack Resilience Measure for Access Restricted Circuits

Proceedings of the 2021 Great Lakes Symposium on VLSI, 2021
With the recent introduction of techniques to restrict scan chain access, a new class of deobfuscation problems emerge, in which the threat model, although similar to deobfuscation of a logic locked circuit, forms a novel class of attack. In this paper, the concept of a logic restricted circuit is generalized and defined.
Saran Phatharodom   +2 more
openaire   +1 more source

SARLock: SAT attack resistant logic locking

2016 IEEE International Symposium on Hardware Oriented Security and Trust (HOST), 2016
Logic locking is an Intellectual Property (IP) protection technique that thwarts IP piracy, hardware Trojans, reverse engineering, and IC overproduction. Researchers have taken multiple attempts in breaking logic locking techniques and recovering its secret key. A Boolean Satisfiability (SAT) based attack has been recently presented that breaks all the
Muhammad Yasin   +3 more
openaire   +1 more source

Home - About - Disclaimer - Privacy