Khan Thamid Hasan

According to our database, Khan Thamid Hasan authored at least 4 papers between 2025 and 2026.

Collaborative distances:

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

2026

Assertain: Automated Security Assertion Generation Using Large Language Models.

Shams Tarek, Dipayan Saha, Khan Thamid Hasan, Sujan Kumar Saha, Mark Tehranipoor, Farimah Farahmandi

CoRR, April, 2026

AI-Assisted Hardware Security Verification: A Survey and AI Accelerator Case Study.

Khan Thamid Hasan, Md. Ajoad Hasan, Nashmin Alam, Md. Touhidul Islam, Upoma Das, Farimah Farahmandi

Proceedings of the 44th IEEE VLSI Test Symposium, 2026

LAsset: An LLM-assisted Security Asset Identification Framework for System-on-Chip (SoC) Verification.

Md. Ajoad Hasan, Dipayan Saha, Khan Thamid Hasan, Nashmin Alam, Azim Uddin, Sujan Kumar Saha, Mark Tehranipoor, Farimah Farahmandi

Proceedings of the Design, Automation & Test in Europe Conference, 2026

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