30 citations · 59 across the 9 of their papers we have counts for
13 papers
StepGrade: Grading Programming Assignments with Context-Aware LLMs
Mohammad Akyash, Kimia Zamiri Azar, Hadi Mardani Kamali
Grading programming assignments is a labor-intensive and time-consuming process that demands careful evaluation across multiple dimensions of the code. To overcome these challenges…
NNgSAT: Neural Network guided SAT Attack on Logic Locked Complex Structures
Kimia Zamiri Azar, Hadi Mardani Kamali, Houman Homayoun +1
The globalization of the IC supply chain has raised many security threats, especially when untrusted parties are involved. This has created a demand for a dependable logic obfuscat…
InterLock: An Intercorrelated Logic and Routing Locking
Hadi Mardani Kamali, Kimia Zamiri Azar, Houman Homayoun +1
In this paper, we propose a canonical prune-and-SAT (CP&SAT) attack for breaking state-of-the-art routing-based obfuscation techniques. In the CP&SAT attack, we first encode the ke…
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…