Results 211 to 220 of about 1,245,287 (248)

Preventive Measure of SAT Attack by Integrating Anti-SAT on Locked Circuit for Improving Hardware Security

International Conference on Communication and Electronics Systems, 2022
The use of logic locking to combat piracy is a viable option and counterfeiting of outsourced IC design by unreliable foundries. Even when a secure key is supplied a locked IC enable the proper functioning.
N M Sivamangai, G Saranya, A Napolean
exaly   +2 more sources

A SAT Attack on Higher Dimensional Erdős–Szekeres Numbers

Trends in Mathematics, 2021
A famous result by Erd\H{o}s and Szekeres (1935) asserts that, for all $k,d \in \mathbb{N}$, there is a smallest integer $n = g^{(d)}(k)$ such that every set of at least $n$ points in $\mathbb{R}^d$ in general position contains a $k$-gon, that is, a ...
Manfred Scheucher, Scheucher Manfred
exaly   +2 more sources

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

Design, Automation and Test in Europe, 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 ...
Nimisha Limaye, Satwik Patnaik, Özgur Sinanoglu   +2 more
exaly   +2 more sources

Importance of Multi-parameter SAT Attack Exploration for Integrated Circuit Security

Asia Pacific Conference on Circuits and Systems, 2018
An analysis of the effects variable ordering, initial constraints, and the phase heuristic have on the number of iterations required to complete the SAT attack is described. The characterization of variable ordering through the generation of 1,000 random
Kyle Juretus, Ioannis Savidis
exaly   +2 more sources

A Black-Box Sensitization Attack on SAT-Hard Instances in Logic Obfuscation

ICCD, 2022
Logic obfuscation is a prominent approach to protect intellectual property within integrated circuits during fabrication. In response to logic obfuscation, the Boolean satisfiability attack was developed and demonstrated to unlock a great deal of ...
Michael Zuzak, Ankur Srivastava, Isaac Mcdaniel   +2 more
exaly   +2 more sources

Increasing the SAT Attack Resiliency of In-Cone Logic Locking

International Symposium on Circuits and Systems, 2019
A method to increase the resiliency of in-cone logic locking against the SAT attack is described in this paper. Current logic locking techniques provide protection through the addition of circuitry outside of the original logic cone. While the additional
Kyle Juretus
exaly   +2 more sources

Mitigating SAT Attack on Logic Locking

Lecture Notes in Computer Science, 2016
, Ankur Srivastava, Srivastava Ankur
exaly   +2 more sources

SMARTLock: SAT Attack and Removal Attack-Resistant Tree-Based Logic Locking

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2020
Yung-Chih Chen
exaly   +2 more sources