Results 1 to 10 of about 1,245,287 (248)
A SAT Attack on Erdős-Szekeres Numbers in R^d and the Empty Hexagon Theorem
Computing in Geometry and Topology, 2023 A famous result by Erdős and Szekeres (1935) asserts that, for all k, d in N, there is a smallest integer n = g(d)(k) such that every set of at least n points in Rd in general position contains a k-gon, that is, a subset of k points in convex position.
Manfred Scheucher
doaj +2 more sources
Anti-SAT: Mitigating SAT Attack on Logic Locking
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2019 Logic locking is a technique that is proposed to protect outsourced IC designs from piracy and counterfeiting by untrusted foundries. A locked IC preserves the correct functionality only when a correct key is provided.
, Ankur Srivastava
exaly +2 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).
Kyle Juretus, Ioannis Savidis
exaly +2 more sources
Fun-SAT: Functional Corruptibility-Guided SAT-Based Attack on Sequential Logic Encryption [PDF]
IEEE International Symposium on Hardware Oriented Security and Trust, 2021 The SAT attack has shown to be efficient against most combinational logic encryption methods. It can be extended to attack sequential logic encryption techniques by leveraging circuit unrolling and model checking methods. However, with no guidance on the
Peter Beerel +2 more
exaly +2 more sources
Characterization of In-Cone Logic Locking Resiliency Against the SAT Attack
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2020 The resiliency of in-cone logic locking techniques to the satisfiability (SAT) attack is characterized in this paper. An analysis of the parameters of the SAT solver that impact security and a characterization of the effect netlist topology has on the ...
Kyle Juretus, Ioannis Savidis
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
Mahesh Tripunitara +2 more
exaly +2 more sources
C-SAR: SAT Attack Resistant Logic Locking for RSFQ Circuits [PDF]
arXiv.org, 2023 Since the development of semiconductor technologies, exascale computing and its associated applications have required increasing degrees of efficiency.
Junyao Zhang, P. Bogdan, Shahin Nazarian
semanticscholar +1 more source
Complexity Analysis of the SAT Attack on Logic Locking [PDF]
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2022 Due to the adoption of horizontal business models following the globalization of semiconductor manufacturing, the overproduction of integrated circuits (ICs) and the piracy of intellectual properties (IPs) can lead to significant damage to the integrity ...
Yadi Zhong, Ujjwal Guin
semanticscholar +1 more source
Novel defense based on softmax activation transformation
网络与信息安全学报, 2022 Deep learning is widely used in various fields such as image processing, natural language processing, network mining and so on.However, it is vulnerable to malicious adversarial attacks and many defensive methods have been proposed accordingly.Most ...
Jinyin CHEN, Changan WU, Haibin ZHENG
doaj +3 more sources
Automatic Preimage Attack Framework on Ascon Using a Linearize-and-Guess Approach
IACR Transactions on Symmetric Cryptology, 2023 Ascon is the final winner of the lightweight cryptography standardization competition (2018 − 2023). In this paper, we focus on preimage attacks against round-reduced Ascon.
Huina Li +4 more
doaj +1 more source