Results 211 to 220 of about 11,140 (252)

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, Özgur Sinanoglu   +2 more
exaly   +2 more sources

Increasing the SAT Attack Resiliency of In-Cone Logic Locking

2019 IEEE International Symposium on Circuits and Systems (ISCAS), 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 circuitry provides provable security against the SAT attack, other attacks, such as the removal ...
Kyle Juretus, Ioannis Savidis
exaly   +3 more sources

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
exaly   +2 more sources

SAT Based Partial Attack on Compound Logic Locking

2020 Asian Hardware Oriented Security and Trust Symposium (AsianHOST), 2020
Logic locking (LL) is used to protect designs from various security vulnerabilities in the Integrated Circuits (IC) supply chain. Development of a satisfiability checking (SAT) attack in 2015, which breaks all the existing LL techniques at that time, divides the LL defenses into two classes: pre-SAT and post-SAT.
Ramanuj Chouksey, Chandan Karfa
exaly   +2 more sources

The SAT Attack on IC Camouflaging: Impact and Potential Countermeasures

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2020
Integrated circuit (IC) camouflaging is a promising defense against so-called IC extraction attacks that seek to reverse engineer the netlist of a packaged IC using delayering and imaging techniques. Camouflaging works by hiding the Boolean functionality of selected gates in the netlist from reverse engineering, albeit at the cost of increased gate ...
Mohamed El Massad, Siddharth Garg, Mahesh V Tripunitara   +2 more
exaly   +2 more sources

An Efficient SAT-Attack Algorithm Against Logic Encryption

2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design (IOLTS), 2019
This paper presents a novel efficient SAT-attack algorithm for logic encryption. The existing SAT-attack algorithm can decrypt almost all encrypted circuits proposed so far, however, there are cases that it takes a huge amount of CPU time. This is because the number of clauses being added during the decryption increases drastically in that case.
Yusuke Matsunaga, Masayoshi Yoshimura
exaly   +2 more sources

A combined attack on RSA algorithm by SAT-approach

2016 Dynamics of Systems, Mechanisms and Machines (Dynamics), 2016
The article deals with factoring cryptanalysis that can be used in attack on popular encryption and digital signing algorithm RSA. Factoring reduces to SAT problem, and one's solution is unique and corresponds to multiplier's bit. A method of simple iteration is applied to SAT, also three polynomial heuristics are applied with the goal to improve ...
exaly   +2 more sources