30 citations · 30 across the 3 of their papers we have counts for
6 papers
ExTru: A Lightweight, Fast, and Secure Expirable Trust for the Internet of Things
Hadi Mardani Kamali, Kimia Zamiri Azar, Shervin Roshanisefat +2
The resource-constrained nature of the Internet of Things (IoT) devices, poses a challenge in designing a secure, reliable, and particularly high-performance communication for this…
DFSSD: Deep Faults and Shallow State Duality, A Provably Strong Obfuscation Solution for Circuits with Restricted Access to Scan Chain
Shervin Roshanisefat, Hadi Mardani Kamali, Kimia Zamiri Azar +4
In this paper, we introduce DFSSD, a novel logic locking solution for sequential and FSM circuits with a restricted (locked) access to the scan chain. DFSSD combines two techniques…
SAT-hard Cyclic Logic Obfuscation for Protecting the IP in the Manufacturing Supply Chain
Shervin Roshanisefat, Hadi Mardani Kamali, Houman Homayoun +1
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 gene…
COMA: Communication and Obfuscation Management Architecture
Kimia Zamiri Azar, Farnoud Farahmand, Hadi Mardani Kamali +5
In this paper, we introduce a novel Communication and Obfuscation Management Architecture (COMA) to handle the storage of the obfuscation key and to secure the communication to/fro…
Benchmarking the Capabilities and Limitations of SAT Solvers in Defeating Obfuscation Schemes
Shervin Roshanisefat, Harshith K. Thirumala, Kris Gaj +2
In this paper, we investigate the strength of six different SAT solvers in attacking various obfuscation schemes. Our investigation revealed that Glucose and Lingeling SAT solvers…
SRCLock: SAT-Resistant Cyclic Logic Locking for Protecting the Hardware
Shervin Roshanisefat, Hadi Mardani Kamali, Avesta Sasan
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 necessary cyc…