activity
20182023
most citedSRCLock: SAT-Resistant Cyclic Logic Locking for Protecting the Hardware

73 citations · 143 across the 18 of their papers we have counts for

collaborators

19 papers

cs.CV2023★ 1 cited

SMOOT: Saliency Guided Mask Optimized Online Training

Ali Karkehabadi, Houman Homayoun, Avesta Sasan

Deep Neural Networks are powerful tools for understanding complex patterns and making decisions. However, their black-box nature impedes a complete understanding of their inner wor…

cs.CR2020

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…

cs.LG2020

Conditional Classification: A Solution for Computational Energy Reduction

Ali Mirzaeian, Sai Manoj, Ashkan Vakil +2

Deep convolutional neural networks have shown high efficiency in computer visions and other applications. However, with the increase in the depth of the networks, the computational…

eess.IV2020

Diverse Knowledge Distillation (DKD): A Solution for Improving The Robustness of Ensemble Models Against Adversarial Attacks

Ali Mirzaeian, Jana Kosecka, Houman Homayoun +2

This paper proposes an ensemble learning model that is resistant to adversarial attacks. To build resilience, we introduced a training process where each member learns a radically…

cs.CR2020

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…

cs.CR2020

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…

cs.CR2020

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…

cs.CR2020

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…

cs.CR2020★ 30 cited

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…

cs.CR2020

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…

cs.LG2020

Code-Bridged Classifier (CBC): A Low or Negative Overhead Defense for Making a CNN Classifier Robust Against Adversarial Attacks

Farnaz Behnia, Ali Mirzaeian, Mohammad Sabokrou +6

In this paper, we propose Code-Bridged Classifier (CBC), a framework for making a Convolutional Neural Network (CNNs) robust against adversarial attacks without increasing or even…

cs.PF2019

TCD-NPE: A Re-configurable and Efficient Neural Processing Engine, Powered by Novel Temporal-Carry-deferring MACs

Ali Mirzaeian, Houman Homayoun, Avesta Sasan

In this paper, we first propose the design of Temporal-Carry-deferring MAC (TCD-MAC) and illustrate how our proposed solution can gain significant energy and performance benefit wh…

cs.LG2019★ 10 cited

NESTA: Hamming Weight Compression-Based Neural Proc. Engine

Ali Mirzaeian, Houman Homayoun, Avesta Sasan

In this paper, we present NESTA, a specialized Neural engine that significantly accelerates the computation of convolution layers in a deep convolutional neural network, while redu…

cs.CR2019★ 20 cited

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…

cs.AR2019

Pyramid: Machine Learning Framework to Estimate the Optimal Timing and Resource Usage of a High-Level Synthesis Design

Hosein Mohammadi Makrani, Farnoud Farahmand, Hossein Sayadi +6

The emergence of High-Level Synthesis (HLS) tools shifted the paradigm of hardware design by making the process of mapping high-level programming languages to hardware design such…

cs.CR2019★ 9 cited

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…

cs.CR2018

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…

cs.CR2018

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…

cs.CR2018★ 73 cited

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…