Showing cs.SEShow all
3 papers · 1 filter
cs.SE2026
A Large-Scale Measurement of AI Bill of Materials Completeness in Hugging Face Models
Md Erfan, Ahmed Ryan, Md Rayhanur Rahman
Pretrained machine learning (ML) models help developers build ML-intensive software systems without training models from scratch. However, model repositories often provide incomple…
cs.SE2026
From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification
Md Erfan, Md Kamal Hossain Chowdhury, Ahmed Ryan +1
Large Language Models (LLMs) show promise in automated software engineering, yet their guarantee of correctness is frequently undermined by erroneous or hallucinated code. To enfor…
cs.SE2026
What Are Adversaries Doing? Automating Tactics, Techniques, and Procedures Extraction: A Systematic Review
Mahzabin Tamanna, Shaswata Mitra, Md Erfan +4
Adversaries continuously evolve their tactics, techniques, and procedures (TTPs) to achieve their objectives while evading detection, requiring defenders to continually update thei…