Scholar
Md Rayhanur Rahman
Google Scholar ID: g7y--9YAAAAJ
Assistant Professor, University of Alabama
Software security
cyberthreat intelligence
machine learning
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
467
H-index
12
i10-index
14
Publications
20
Co-authors
0
Contact
No contact links provided.
Publications
15 items
Can Open-Weight LLMs Produce Kernel-Verified Coq Proofs? A Pilot Study
2026
Cited
0
A Structured Cyber Threat Intelligence Dataset Using STIX 2.1 Entities and MITRE ATT&CK Mappings
2026
Cited
0
A Large-Scale Measurement of AI Bill of Materials Completeness in Hugging Face Models
2026
Cited
0
Evaluating Open-Weight LLMs for Generating Structured Threat Information for Autonomous Vehicle Vulnerabilities
2026
Cited
0
Multi-Source Cybersecurity Logs: An ATT&CK-Labeled Dataset and SLM Evaluation
2026
Cited
0
Evaluating Open-Source LLMs for Multi-Label ATT&CK Technique Classification on CTI Reports
2026
Cited
0
From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification
2026
Cited
0
Beyond Single Reports: Evaluating Automated ATT&CK Technique Extraction in Multi-Report Campaign Settings
2026
Cited
0
Load more
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)