Hasan Al Shaikh

16 papers C 1Misc 1Journal 9Unranked 5
YearRankTypeTitle / Venue / Authors
2026 — conf
GEmFuzz: Uncovering System-Level Vulnerabilities in SoCs via Emulation-Based Grey-Box Fuzzing.
ASP-DAC
Shuvagata Saha, Ahmed Alhurubi, Tanvir Rahman, Hasan Al Shaikh, Sujan Kumar Saha, Farimah Farahmandi, Mark Tehranipoor
2025 J jnl
Re-Pen: Reinforcement Learning-Enforced Penetration Testing for SoC Security Verification.
IEEE Trans. Very Large Scale Integr. Syst.
Hasan Al Shaikh, Shuvagata Saha, Kimia Zamiri Azar, Farimah Farahmandi, Mark Tehranipoor, Fahim Rahman
2025 J jnl
Rethinking SoC Verification for Secure Cross-Layer Interactions.
IEEE Des. Test
Hasan Al Shaikh, Shuvagata Saha, Sujan Kumar Saha, Kimia Zamiri Azar, Farimah Farahmandi, Mark Tehranipoor
2025 J jnl
SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models.
CoRR
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
2025 J jnl
SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models.
IACR Cryptol. ePrint Arch.
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
2025 Misc conf
Special Session: ThreatLens: LLM-guided Threat Modeling and Test Plan Generation for Hardware Security Verification.
VTS
Dipayan Saha, Hasan Al Shaikh, Shams Tarek, Farimah Farahmandi
2025 J jnl
ThreatLens: LLM-guided Threat Modeling and Test Plan Generation for Hardware Security Verification.
CoRR
Dipayan Saha, Hasan Al Shaikh, Shams Tarek, Farimah Farahmandi
2025 J jnl
ThreatLens: LLM-guided Threat Modeling and Test Plan Generation for Hardware Security Verification.
IACR Cryptol. ePrint Arch.
Dipayan Saha, Hasan Al Shaikh, Shams Tarek, Farimah Farahmandi
2025 — conf
Trusting the Machine: How Secure is LLM-Generated RTL Code?
MLCAD
Zahin Ibnat, Paul E. Calzada, Dipayan Saha, Hasan Al Shaikh, Sujan Kumar Saha, Jingbo Zhou, Farimah Farahmandi, Mark Tehranipoor
2024 C conf
TDM: Time and Distance Metric for Quantifying Information Leakage Vulnerabilities in SoCs.
ICCD
Avinash Ayalasomayajula, Henian Li, Hasan Al Shaikh, Sujan Kumar Saha, Farimah Farahmandi
2023 — conf
Benchmarking of SoC-Level Hardware Vulnerabilities: A Complete Walkthrough.
ISVLSI
Shams Tarek, Hasan Al Shaikh, Sree Ranjani Rajendran, Farimah Farahmandi
2023 — conf
QuardTropy: Detecting and Quantifying Unauthorized Information Leakage in Hardware Designs using g-entropy.
DFT
Hasan Al Shaikh, Mohammad Bin Monjil, Kimia Zamiri Azar, Farimah Farahmandi, Mark Tehranipoor, Fahim Rahman
2023 — conf
SHarPen: SoC Security Verification by Hardware Penetration Test.
ASP-DAC
Hasan Al Shaikh, Arash Vafaei, Mridha Md Mashahedur Rahman, Kimia Zamiri Azar, Fahim Rahman, Farimah Farahmandi, Mark Tehranipoor
2022 J jnl
Digital Twin for Secure Semiconductor Lifecycle Management: Prospects and Applications.
CoRR
Hasan Al Shaikh, Mohammad Bin Monjil, Shigang Chen, Navid Asadizanjani, Farimah Farahmandi, Mark Tehranipoor, Fahim Rahman
2022 J jnl
Digital Twin for Secure Semiconductor Lifecycle Management: Prospects and Applications.
IACR Cryptol. ePrint Arch.
Hasan Al Shaikh, Mohammad Bin Monjil, Shigang Chen, Farimah Farahmandi, Navid Asadizanjani, Mark Tehranipoor, Fahim Rahman
2022 J jnl
Fuzz, Penetration, and AI Testing for SoC Security Verification: Challenges and Solutions.
IACR Cryptol. ePrint Arch.
Kimia Zamiri Azar, Muhammad Monir Hossain, Arash Vafaei, Hasan Al Shaikh, Nurun N. Mondol, Fahim Rahman, Mark Tehranipoor, Farimah Farahmandi