Skip to main content

Faculty

Department of Electrical and Computer Engineering

 

Biography

Kimia Zamiri Azar completed her Ph.D. at George Mason University in 2021, and pursued postdoctoral research at the University of Florida.

Azar’s research focuses on hardware security, specifically on system-level and platform-level verification and validation, VLSI design-for-trust, and advanced IC testing and monitoring. She has authored two books, a book chapter, and holds three issued/pending patents. Her work has been extensively published in ACM/IEEE journals and conferences, including IEEE D&T, IEEE TC, IEEE TIFS, CHES, RAID, DAC, DATE and ICCAD. Her research has been sponsored by NSF, SRC, DARPA, AFRL, DoD (NG) and Microsemi.

Throughout her career, Dr. Azar has received several awards and nominations, notably Best Paper Awards at ICCAD’19, ISVLSI’20, ICCAD’20, IEEE DCAS’20, HOST’22 and DATE’23. She is an active member of IEEE and ACM.

Research Interests

  • Hardware Security Verification
  • Formal Methods
  • Advanced VLSI Testing
  • Reconfigurable Logic Design for Security
  • Secure Heterogeneous Integration
  • IC Supply Chain Security and Trust

Publications

  • [Book 2] Mark Tehranipoor, Kimia Zamiri Azar, Hadi Mardani Kamali, Navid Asadizanjani, Fahim Rahman, Farimah Farahmandi, “Hardware Security: A Look into the Future,” in Springer, 2024.
  • [Book 1] Kimia Zamiri Azar, Hadi Mardani Kamali, Farimah Farahmandi, Mark Tehranipoor, “Understanding Logic Locking,” in Springer, 2023.
  • [Book Chapter 1] Kimia Zamiri Azar, Hadi Mardani Kamali, Avesta Sasan, “Sequential and Combinational Satisfiability Attacks,” in Encyclopedia of Cryptography, Security and Privacy (Revisited), Springer, 2022.
  • [Journal 11] Md Sami Ul Islam Sami, Tao Zhang, Amit Mazumder Shuvo, Md Saad Ul Haque, Paul E Calzada, Kimia Zamiri Azar, Hadi Mardani Kamali, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor, “Advancing Trustworthiness in System-in-Package: A Novel Root-of-Trust Hardware Security Module for Heterogeneous Integration,” in IEEE Access, 2024.
  • [Journal 7] Mridha Md Mashahedur Rahman, Shams Tarek, Kimia Zamiri Azar, Farimah Farahmandi, Mark Tehranipoor, “Sustainability of SoC Security Monitoring: From Firmware to embedded FPGA,” in IEEE Design & Test, 2023.
  • [Conference 29] Galib Ibne Haidar, Kimia Zamiri Azar, Hadi Mardani Kamali, Mark Tehranipoor, Farimah Farahmandi, “GATE-SiP: Enabling Authenticated Encryption Testing in Systems-in-Package,” in Design Automation Conference (DAC), June, 2024.
  • [Conference 25] Muhammad Monir Hossain, Kimia Zamiri Azar, Farimah Farahmandi, Mark Tehranipoor, “TaintFuzzer: SoC Security Verification using Taint Inference-enabled Fuzzing,” in International Conference On Computer Aided Design (ICCAD), November, 2023.
  • [Conference 18] Hadi Mardani Kamali, Kimia Zamiri Azar, Farimah Farahmandi, Mark Tehranipoor, “SheLL: Shrinking eFPGA Fabrics for Logic Locking,” in Design, Automation and Test in Europe (DATE Conference), April, 2023.