Heimdall: Formally Verified Automated Migration of Legacy eBPF Programs to Rust
Authors: Vishnu Asutosh Dasu, Monika Santra, Md Rafi Ur Rashid, Ashish Kumar, Saeid Tizpaz-Niari, Gang Tan | Published: 2026-05-25
Evo-Attacker: Memory-Augmented Reinforcement Learning for Long-Horizon Tool Attacks on LLM-MAS
Authors: Bingyu Yan, Xiaoming Zhang, Jinyu Hou, Chaozhuo Li, Ziyi Zhou, Yiming Hei, Litian Zhang | Published: 2026-05-25
When Interpretability Becomes a Liability: Adversarial Attacks on CBM Concept Layers
Authors: Aditya Sridhar | Published: 2026-05-25
Innovations in Cardless Artificial Intelligence Banking: A Comprehensive Framework for Cyber Secure and Fraud Mitigation using Machine Learning Algorithms
Authors: Md Israfeel | Published: 2026-05-21
A First Measurement Study on Authentication Security in Real-World Remote MCP Servers
Authors: Huijun Zhou, Xiaohan Zhang, Haozhe Zhang, Haoyang Zhang, Mi Zhang, Min Yang | Published: 2026-05-21
Automated Repair of TEE Partitioning Issues via DSL-Guided and LLM-Assisted Patching
Authors: Chengyan Ma, Jieke Shi, Ruidong Han, Ye Liu, Feng Li, Yuqing Niu, David Lo | Published: 2026-05-21
Finding Missing Input Validation in TEEs via LLM-Assisted Symbolic Execution
Authors: Chengyan Ma, Jieke Shi, Ruidong Han, Ye Liu, Yuqing Niu, David Lo | Published: 2026-05-21
Secure and Parallel Determinant Computation for Large-Scale Matrices in Edge Environments
Authors: Prajwal Panth | Published: 2026-05-21
Parser-Free Querying of Security Logs
Authors: Evan Luo, Julien Piet, David Wagner | Published: 2026-05-21
Optimal Guarantees for Auditing Rényi Differentially Private Machine Learning
Authors: Benjamin D. Kim, Lav R. Varshney, Daniel Alabi | Published: 2026-05-21