Nashmin Alam
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Crypto×1
Frequent co-authors
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