Hasan Al Shaikh

According to our database, Hasan Al Shaikh authored at least 11 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, October, 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., March, 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

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

Special Session: ThreatLens: LLM-guided Threat Modeling and Test Plan Generation for Hardware Security Verification.

Dipayan Saha, Hasan Al Shaikh, Shams Tarek, Farimah Farahmandi

Proceedings of the 43rd IEEE VLSI Test Symposium, 2025

2024

TDM: Time and Distance Metric for Quantifying Information Leakage Vulnerabilities in SoCs.

Avinash Ayalasomayajula, Henian Li, Hasan Al Shaikh, Sujan Kumar Saha, Farimah Farahmandi

Proceedings of the 42nd IEEE International Conference on Computer Design, 2024

2023

Benchmarking of SoC-Level Hardware Vulnerabilities: A Complete Walkthrough.

Shams Tarek, Hasan Al Shaikh, Sree Ranjani Rajendran, Farimah Farahmandi

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 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

Proceedings of the IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, 2023

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

Proceedings of the 28th Asia and South Pacific Design Automation Conference, 2023

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

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