Publications
  1. Mind the Gap: Evaluating LLMs for High-Level Malicious Package Detection vs. Fine-Grained Indicator Identification
    A Ryan, I Khalil, AA Jahid, M Erfan, S Park, AAU Rahman, MR Rahman
    arXiv preprint arXiv:2602.16304 2026 Cited by 1
  2. Unveiling Malicious Logic: Towards a Statement-Level Taxonomy and Dataset for Securing Python Packages
    A Ryan, JM Ifti, M Erfan, AAU Rahman, MR Rahman
    arXiv preprint arXiv:2512.12559 2025 Cited by 1
  3. From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification
    M Erfan, MKH Chowdhury, A Ryan, MR Rahman
    arXiv preprint arXiv:2604.22601 2026
  4. What Are Adversaries Doing? Automating Tactics, Techniques, and Procedures Extraction: A Systematic Review
    M Tamanna, S Mitra, M Erfan, A Ryan, S Mittal, L Williams, MR Rahman
    arXiv preprint arXiv:2604.02377 2026