16 papers
Academic League of Artificial Intelligence - An Integrative Perspective of Teaching, Research, and Extension
Alison R. Panisson, Maria Eduarda W. M. Vianna, Italo Firmino da Silva +9
Academic leagues have become important mechanisms for promoting extracurricular education and strengthening the integration between universities and society. This paper presents th…
Cross-Corpus Evaluation of Generalizable Vulnerability Detection in IoT Firmware
Sadib Hassan Rumman, Md. Shariful Islam, Md. Rayhanur Rahman +1
IoT firmware vulnerability detection is constrained by ecosystem heterogeneity, resource-limited platforms, and benchmark quality limitations. Existing datasets are often synthetic…
Can Open-Weight LLMs Produce Kernel-Verified Coq Proofs? A Pilot Study
Ahmed Ryan, Md Erfan, Akond Ashfaque Ur Rahman +1
Large language models (LLMs) can generate text that resembles a mathematical proof, but resemblance does not establish correctness. A formal proof checker verifies whether each pro…
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…
Evaluating Open-Weight LLMs for Generating Structured Threat Information for Autonomous Vehicle Vulnerabilities
Md Erfan, Ahmed Ryan, Md Kamal Hossain Chowdhury +1
Connected and Autonomous Vehicles (CAVs) rely on interconnected software and hardware components, including sensors, Electronic Control Units, in-vehicle infotainment systems, and…
An Evaluation of Large Language Models for Detection of Malicious Python Packages
Ahmed Ryan, Ibrahim Khalil, Abdullah Al Jahid +4
Modern software development relies on open-source package repositories. Attackers use these to distribute malicious packages. Large Language Models (LLMs) can automatically detect…