4 papers
Heimdall: Formally Verified Automated Migration of Legacy eBPF Programs to Rust
Vishnu Asutosh Dasu, Monika Santra, Md Rafi Ur Rashid +3
Extended Berkeley Packet Filter (eBPF) programs are kernel extensions used for networking, observability, and security enforcement in the Linux kernel. The in-kernel eBPF verifier…
Robustness of Vision Language Models Against Split-Image Harmful Input Attacks
Md Rafi Ur Rashid, MD Sadik Hossain Shanto, Vishnu Asutosh Dasu +1
Vision-Language Models (VLMs) are now a core part of modern AI. Recent work proposed several visual jailbreak attacks using single/ holistic images. However, contemporary VLMs demo…
Generative Artificial Intelligence in Bioinformatics: A Systematic Review of Models, Applications, and Methodological Advances
Wasimul Karim, Riasad Alvi, Sayeem Been Zaman +7
Generative artificial intelligence (GenAI) is transforming bioinformatics by advancing genomics, proteomics, transcriptomics, structural biology, and drug discovery. Following the…
BioAutoML-NAS: An End-to-End AutoML Framework for Multimodal Insect Classification via Neural Architecture Search on Large-Scale Biodiversity Data
Arefin Ittesafun Abian, Debopom Sutradhar, Md Rafi Ur Rashid +5
Insect classification is important for agricultural management and ecological research, as it directly affects crop health and production. However, this task remains challenging du…