Results 1 to 10 of about 11,140 (252)
Anti-SAT: Mitigating SAT Attack on Logic Locking [PDF]
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. Recently, the security of logic locking is threatened by a new attack called SAT attack, which can decipher the correct key of most ...
, Ankur Srivastava
exaly +7 more sources
Fun-SAT: Functional Corruptibility-Guided SAT-Based Attack on Sequential Logic Encryption [PDF]
2021 IEEE International Symposium on Hardware Oriented Security and Trust (HOST), 2021 Accepted at IEEE International Symposium on Hardware Oriented Security and Trust (HOST ...
Yuke Zhang, Kaixin Yang, Dake Chen
exaly +3 more sources
Transactions on Cryptographic Hardware and Embedded Systems, 2018 In this paper, we introduce the Satisfiability Modulo Theory (SMT) attack on obfuscated circuits. The proposed attack is the superset of Satisfiability (SAT) attack, with many additional features.
Kimia Zamiri Azar +3 more
doaj +3 more sources
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
On Preventing SAT Attack with Decoy Key-Inputs [PDF]
2021 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 2021 The globalized supply chain in the semiconductor industry raises several security concerns such as IC overproduction, intellectual property piracy and design tampering. Logic locking has emerged as a Design-for-Trust countermeasure to address these issues.
Nguyen, Quang-Linh +3 more
openaire +1 more source
Breaking CAS-Lock and Its Variants by Exploiting Structural Traces
Transactions on Cryptographic Hardware and Embedded Systems, 2021 Logic locking is a prominent solution to protect against design intellectual property theft. However, there has been a decade-long cat-and-mouse game between defenses and attacks. A turning point in logic locking was the development of miterbased Boolean
Abhrajit Sengupta +2 more
doaj +1 more source
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
Automating Collision Attacks on RIPEMD-160
IACR Transactions on Symmetric Cryptology, 2023 As an ISO/IEC standard, the hash function RIPEMD-160 has been used to generate the Bitcoin address with SHA-256. However, due to the complex doublebranch structure of RIPEMD-160, the best collision attack only reaches 36 out of 80 steps of RIPEMD-160 ...
Yingxin Li, Fukang Liu, Gaoli Wang
doaj +1 more source
Addendum to Linear Cryptanalyses of Three AEADs with GIFT-128 as Underlying Primitives
IACR Transactions on Symmetric Cryptology, 2022 In ToSC 2021(2), Sun et al. implemented an automatic search with the Boolean satisfiability problem (SAT) method on GIFT-128 and identified a 19-round linear approximation with the expected linear potential being 2−117.43, which is utilised to launch a ...
Ling Sun, Wei Wang, Meiqin Wang
doaj +1 more source