Fuzz, Penetration, and AI Testing for SoC Security Verification: Challenges and Solutions. - Kimia Zamiri Azar; Muhammad Monir Hossain; Arash Vafaei; Hasan Al Shaikh; Nurun N. Mondol; Fahim Rahman; Mark Tehranipoor; Farimah Farahmandi (IACR Cryptol. ePrint Arch., 2022)

Digital Twin for Secure Semiconductor Lifecycle Management: Prospects and Applications. - Hasan Al Shaikh; Mohammad Bin Monjil; Shigang Chen; Farimah Farahmandi; Navid Asadizanjani; Mark Tehranipoor; Fahim Rahman (IACR Cryptol. ePrint Arch., 2022)

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 (ASP-DAC, 2023)

QuardTropy: Detecting and Quantifying Unauthorized Information Leakage in Hardware Designs using g-entropy. - Hasan Al Shaikh; Mohammad Bin Monjil; Kimia Zamiri Azar; Farimah Farahmandi; Mark Tehranipoor; Fahim Rahman (DFT, 2023)

Benchmarking of SoC-Level Hardware Vulnerabilities: A Complete Walkthrough. - Shams Tarek; Hasan Al Shaikh; Sree Ranjani Rajendran; Farimah Farahmandi (ISVLSI, 2023)

TDM: Time and Distance Metric for Quantifying Information Leakage Vulnerabilities in SoCs. - Avinash Ayalasomayajula; Henian Li; Hasan Al Shaikh; Sujan Kumar Saha; Farimah Farahmandi (ICCD, 2024)

Special Session: ThreatLens: LLM-guided Threat Modeling and Test Plan Generation for Hardware Security Verification. - Dipayan Saha; Hasan Al Shaikh; Shams Tarek; Farimah Farahmandi (VTS, 2025)

ThreatLens: LLM-guided Threat Modeling and Test Plan Generation for Hardware Security Verification. - Dipayan Saha; Hasan Al Shaikh; Shams Tarek; Farimah Farahmandi (IACR Cryptol. ePrint Arch., 2025)

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models. - Dipayan Saha; Shams Tarek; Hasan Al Shaikh; Khan Thamid Hasan; Pavan Sai Nalluri; Md. Ajoad Hasan; Nashmin Alam; Jingbo Zhou; Sujan Kumar Saha; Mark Tehranipoor; Farimah Farahmandi (IACR Cryptol. ePrint Arch., 2025)

Re-Pen: Reinforcement Learning-Enforced Penetration Testing for SoC Security Verification. - Hasan Al Shaikh; Shuvagata Saha; Kimia Zamiri Azar; Farimah Farahmandi; Mark Tehranipoor; Fahim Rahman (IEEE Trans. Very Large Scale Integr. Syst., 2025)

Rethinking SoC Verification for Secure Cross-Layer Interactions. - Hasan Al Shaikh; Shuvagata Saha; Sujan Kumar Saha; Kimia Zamiri Azar; Farimah Farahmandi; Mark Tehranipoor (IEEE Des. Test, 2025)