Kimia Zamiri Azar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
24
Venues
9
Active years
2019–2026
Best venue rank
A*
Where they publish
Papers
24 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | DATE | NuRedact: Non-Uniform eFPGA Architecture for Low-Overhead and Secure IP Redaction. | Voktho Das, Kimia Zamiri Azar, Hadi Kamali |
| 2026 | DATE | Bench4HLS: End-to-End Evaluation of LLMs in High-Level Synthesis Code Generation. | M. Zafir Sadik Khan, Kimia Zamiri Azar, Hadi Kamali |
| 2026 | DATE | MeltRTL: Multi-Expert LLMs with Inference-time Intervention for RTL Code Generation. | Nowfel Mashnoor, Mohammad A. Makhzan, Hadi Kamali, Kimia Zamiri Azar |
| 2026 | VTS | Secure eFPGA-Enabled Edge LLM Inference: Architectural and Hardware Countermeasures. | Voktho Das, M. Zafir Sadik Khan, Jafar Vafaei, Kimia Zamiri Azar, Hadi Kamali |
| 2026 | VTS | From Language to Logic: Bridging LLMs & Formal Representations for RTL Assertion Generation. | Nowfel Mashnoor, Hadi Kamali, Kimia Zamiri Azar |
| 2026 | VTS | SafeTune: Mitigating Data Poisoning in LLM Fine-Tuning for RTL Code Generation. | Mahshid Rezakhani, Nowfel Mashnoor, Kimia Zamiri Azar, Hadi Kamali |
| 2025 | ICCAD | DecoRTL: A Run-Time Decoding Framework for RTL Code Generation with LLMs. | Mohammad Akyash, Kimia Zamiri Azar, Hadi Kamali |
| 2025 | ICCD | SAGE-HLS: Syntax-Aware AST-Guided LLM for High-Level Synthesis Code Generation. | M. Zafir Sadik Khan, Nowfel Mashnoor, Mohammad Akyash, Kimia Zamiri Azar, Hadi Kamali |
| 2025 | ICCD | CircuitGuard: Mitigating LLM Memorization in RTL Code Generation Against IP Leakage. | Nowfel Mashnoor, Mohammad Akyash, Hadi Kamali, Kimia Zamiri Azar |
| 2025 | VTS | LLM-IFT: LLM-Powered Information Flow Tracking for Secure Hardware. | Nowfel Mashnoor, Mohammad Akyash, Hadi Kamali, Kimia Zamiri Azar |
| 2024 | ASPDAC | FormalFuzzer: Formal Verification Assisted Fuzz Testing for SoC Vulnerability Detection. | Nusrat Farzana Dipu, Muhammad Monir Hossain, Kimia Zamiri Azar, Farimah Farahmandi, Mark Tehranipoor |
| 2024 | DAC | GATE-SiP: Enabling Authenticated Encryption Testing in Systems-in-Package. | Galib Ibne Haidar, Kimia Zamiri Azar, Hadi Mardani Kamali, Mark Tehranipoor, Farimah Farahmandi |
| 2024 | DATE | RL-TPG: Automated Pre-Silicon Security Verification through Reinforcement Learning-Based Test Pattern Generation. | Nurun Nahar Mondol, Arash Vafaei, Kimia Zamiri Azar, Farimah Farahmandi, Mark Tehranipoor |
| 2024 | ITC | SECT-HI: Enabling Secure Testing for Heterogeneous Integration to Prevent SiP Counterfeits. | Galib Ibne Haidar, Md Sami Ul Islam Sami, Jingbo Zhou, Kimia Zamiri Azar, Mark Tehranipoor, Farimah Farahmandi |
| 2023 | ASPDAC | SHarPen: SoC Security Verification by Hardware Penetration Test. | Hasan Al Shaikh, Arash Vafaei, Mridha Md Mashahedur Rahman, Kimia Zamiri Azar, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor |
| 2023 | DATE | SoCFuzzer: SoC Vulnerability Detection using Cost Function enabled Fuzz Testing. | Muhammad Monir Hossain, Arash Vafaei, Kimia Zamiri Azar, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor |
| 2023 | DATE | SheLL: Shrinking eFPGA Fabrics for Logic Locking. | Hadi Mardani Kamali, Kimia Zamiri Azar, Farimah Farahmandi, Mark Tehranipoor |
| 2023 | ETS | PSC-Watermark: Power Side Channel Based IP Watermarking Using Clock Gates. | Upoma Das, M. Sazadur Rahman, N. Nalla Anandakumar, Kimia Zamiri Azar, Fahim Rahman, Mark Tehranipoor, Farimah Farahmandi |
| 2023 | ICCAD | TaintFuzzer: SoC Security Verification using Taint Inference-enabled Fuzzing. | Muhammad Monir Hossain, Nusrat Farzana Dipu, Kimia Zamiri Azar, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor |
| 2020 | ICCAD | NNgSAT: Neural Network guided SAT Attack on Logic Locked Complex Structures. | Kimia Zamiri Azar, Hadi Mardani Kamali, Houman Homayoun, Avesta Sasan |
| 2020 | ICCAD | InterLock: An Intercorrelated Logic and Routing Locking. | Hadi Mardani Kamali, Kimia Zamiri Azar, Houman Homayoun, Avesta Sasan |
| 2020 | VTS | 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, Sai Manoj Pudukotai Dinakarrao, Naghmeh Karimi, Houman Homayoun, Avesta Sasan |
| 2019 | DAC | Full-Lock: Hard Distributions of SAT instances for Obfuscating Circuits using Fully Configurable Logic and Routing Blocks. | Hadi Mardani Kamali, Kimia Zamiri Azar, Houman Homayoun, Avesta Sasan |
| 2019 | RAID | COMA: Communication and Obfuscation Management Architecture. | Kimia Zamiri Azar, Farnoud Farahmand, Hadi Mardani Kamali, Shervin Roshanisefat, Houman Homayoun, William Diehl, Kris Gaj, Avesta Sasan |