Ahmed Ryan

According to our database, Ahmed Ryan authored at least 4 papers between 2025 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

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, Md. Rayhanur Rahman

CoRR, April, 2026

What Are Adversaries Doing? Automating Tactics, Techniques, and Procedures Extraction: A Systematic Review.

Mahzabin Tamanna, Shaswata Mitra, Md Erfan, Ahmed Ryan, Sudip Mittal, Laurie A. Williams, Md. Rayhanur Rahman

CoRR, April, 2026

Mind the Gap: Evaluating LLMs for High-Level Malicious Package Detection vs. Fine-Grained Indicator Identification.

Ahmed Ryan, Ibrahim Khalil, Abdullah Al Jahid, Md Erfan, Sungbin Park, Akond Ashfaque Ur Rahman, Md. Rayhanur Rahman

CoRR, February, 2026

2025

Unveiling Malicious Logic: Towards a Statement-Level Taxonomy and Dataset for Securing Python Packages.

Ahmed Ryan, Junaid Mansur Ifti, Md Erfan, Akond Ashfaque Ur Rahman, Md. Rayhanur Rahman

CoRR, December, 2025