SRCLock: SAT-resistant cyclic logic locking for protecting the hardware

S Roshanisefat, H Mardani Kamali… - … of the 2018 on Great Lakes …, 2018 - dl.acm.org
In this paper, we claim that cyclic obfuscation, when properly implemented, poses
exponential complexity on SAT or CycSAT attack. The CycSAT, in order to generate the …

SAT-hard cyclic logic obfuscation for protecting the IP in the manufacturing supply chain

S Roshanisefat, HM Kamali… - IEEE Transactions on …, 2020 - ieeexplore.ieee.org
State-of-the-art attacks against cyclic logic obfuscation use satisfiability solvers that are
equipped with a set of cycle-avoidance clauses. These cycle-avoidance clauses are …

LOOPLock 2.0: An enhanced cyclic logic locking approach

XM Yang, PP Chen, HY Chiang, CC Lin… - … on Computer-Aided …, 2021 - ieeexplore.ieee.org
LOOPLock is the state-of-the-art cyclic logic locking method in hardware security. LOOPLock
is able to invalidate SAT Attack, Removal Attack, and CycSAT simultaneously by introducing …

LOOPLock: Logic optimization-based cyclic logic locking

HY Chiang, YC Chen, DX Ji, XM Yang… - … on Computer-Aided …, 2019 - ieeexplore.ieee.org
SAT Attack, CycSAT, and Removal Attack have demonstrated their abilities to break most
existing logic locking methods. In this article, we propose a new cyclic logic locking method …

SeqL: Secure scan-locking for IP protection

S Potluri, A Aysu, A Kumar - 2020 21st International …, 2020 - ieeexplore.ieee.org
Existing logic-locking attacks are known to successfully decrypt functionally correct key of a
locked combinational circuit. It is possible to extend these attacks to real-world Silicon-based …

An approach to unlocking cyclic logic locking: LOOPLock 2.0

PP Chen, XM Yang, YT Li, YC Chen… - Proceedings of the 41st …, 2022 - dl.acm.org
Cyclic logic locking is a new type of SAT-resistant techniques in hardware security. Recently,
LOOPLock 2.0 was proposed, which is a cyclic logic locking method creating cycles …

LOOPLock 3.0: A Robust Cyclic Logic Locking Approach

PP Chen, XM Yang, YC He, YC Chen… - 2024 29th Asia and …, 2024 - ieeexplore.ieee.org
Cyclic logic locking is a cutting-edge hardware security method developed to defend against
SAT Attack. It introduces cycles into the original circuit, which can cause the circuit to either …

[PDF][PDF] 基于概率CMOS 模型的反馈环路的数字电路容错特性分析

李妍, 胡剑浩, 杨泽国 - 电子与信息学报, 2017 - edit.jeit.ac.cn
反馈环路是模拟电路中有效容错的电路结构. 反馈电路也因其存储性能而被广泛使用于数字电路
的时序电路中, 但是反馈电路在数字电路的组合电路的稳定特性鲜少被人研究 …

Asynchronous linear combinational circuits as a base for programmable logic device. Binary and ternary cases

RK Latypov, EL Stolov - IFAC-PapersOnLine, 2016 - Elsevier
Programmable logic devices on base of asynchronous combinational circuits with feedback
are considered. The main aim of the research is to obtain a method for designing a circuit …

Implementation and Assessment of Strong Logic Encryption Techniques

S Roshanisefat - 2021 - search.proquest.com
The increasing cost of building, operating, managing, and maintaining state-of-the-art silicon
manufacturing facilities has pushed several stages of the semiconductor device's …