Built with and by Teycir Ben Soltane•
How to Use•FAQ•GitHub•arXiv.org•
Share:
ArXivCSExplorer
☆☆Bookmarks🏆RSSHow to UseFAQ
Home/Authors/Md Ajoad Hasan

Md Ajoad Hasan

1 indexed paper

Recent (6 mo)
1
With code
0
Influential cites
0
Benchmarked
0

Publications per year

1
26

Top categories

Crypto×1

Frequent co-authors

Khan Thamid Hasan1×
Nashmin Alam1×
Md. Touhidul Islam1×
Upoma Das1×
Farimah Farahmandi1×

Research Timeline

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

This survey reviews the integration of AI and LLMs into hardware security verification, demonstrating its potential to automate complex stages while stressing the necessity of grounding AI outputs in rigorous formal and simulation evidence.

Highlighted terms show continued research focus across papers

Papers

cs.CRRecentApr 2, 2026

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

Khan Thamid Hasan, Md Ajoad Hasan, Nashmin Alam, Md. Touhidul Islam +2 more

This survey reviews the integration of AI and LLMs into hardware security verification, demonstrating its potential to automate complex stages while stressing the necessity of grounding AI outputs in…

View →