Results 231 to 240 of about 400,569 (282)

Unveiled Impact of ²¹¹At-Labeled Compounds' Ability to Form Halogen Bonds on Their <i>In Vivo</i> Stability. [PDF]

ACS Phys Chem Au
Mador SD, Yssartier T, Le Questel JY, Montavon G, Guérard F, Galland N.   +5 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

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, Nagarajan Kandasamy, Ioannis Savidis   +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, Satwik Patnaik, Ozgur Sinanoglu   +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, Avesta Sasan, Ioannis Savidis   +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, Bodhisatwa Mazumdar, Jeyavijayan J V Rajendran, Ozgur Sinanoglu   +3 more
openaire   +1 more source

Increased Output Corruption and Structural Attack Resilience for SAT Attack Secure Logic Locking

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2021
Current out-of-cone logic locking methodologies provide resilience against the satisfiability (SAT) attack with minimal corruption of the outputs when comparing an activated and locked integrated circuit (IC). In addition, the structure of the modifications to the original logic leaks functional information of the circuit, which allows an adversary to ...
Kyle Juretus, Ioannis Savidis
openaire   +1 more source

The SAT Attack

2019
This chapter elaborates on the SAT attack, which breaks all pre-SAT logic locking techniques. The SAT attack is an oracle-guided attack that utilizes a SAT solver to compute attack patterns that refine the key search space iteratively. The SAT attack has changed the direction of logic locking research; developing efficient countermeasures against the ...
Muhammad Yasin, Jeyavijayan Rajendran, Ozgur Sinanoglu   +2 more
openaire   +1 more source