73 citations · 143 across the 18 of their papers we have counts for
12 papers · 1 filter
Learning Assisted Side Channel Delay Test for Detection of Recycled ICs
Ashkan Vakil, Farzad Niknia, Ali Mirzaeian +2
With the outsourcing of design flow, ensuring the security and trustworthiness of integrated circuits has become more challenging. Among the security threats, IC counterfeiting and…
SCRAMBLE: The State, Connectivity and Routing Augmentation Model for Building Logic Encryption
Hadi Mardani Kamali, Kimia Zamiri Azar, Houman Homayoun +1
In this paper, we introduce SCRAMBLE, as a novel logic locking solution for sequential circuits while the access to the scan chain is restricted. The SCRAMBLE could be used to lock…
On Designing Secure and Robust Scan Chain for Protecting Obfuscated Logic
Hadi Mardani Kamali, Kimia Zamiri Azar, Houman Homayoun +1
In this paper, we assess the security and testability of the state-of-the-art design-for-security (DFS) architectures in the presence of scan-chain locking/obfuscation, a group of…
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…
LASCA: Learning Assisted Side Channel Delay Analysis for Hardware Trojan Detection
Ashkan Vakil, Farnaz Behnia, Ali Mirzaeian +3
In this paper, we introduce a Learning Assisted Side Channel delay Analysis (LASCA) methodology for Hardware Trojan detection. Our proposed solution, unlike the prior art, does not…
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…
Threats on Logic Locking: A Decade Later
Kimia Zamiri Azar, Hadi Mardani Kamali, Houman Homayoun +1
To reduce the cost of ICs and to meet the market's demand, a considerable portion of manufacturing supply chain, including silicon fabrication, packaging and testing may be pushed…
LUT-Lock: A Novel LUT-based Logic Obfuscation for FPGA-Bitstream and ASIC-Hardware Protection
Hadi Mardani Kamali, Kimia Zamiri Azar, Kris Gaj +2
In this work, we propose LUT-Lock, a novel Look-Up-Table-based netlist obfuscation algorithm, for protecting the intellectual property that is mapped to an FPGA bitstream or an ASI…
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…