Showing cs.CRShow all
2 papers · 1 filter
cs.CR2026
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…
cs.CR2023
FLShield: A Validation Based Federated Learning Framework to Defend Against Poisoning Attacks
Ehsanul Kabir, Zeyu Song, Md Rafi Ur Rashid +1
Federated learning (FL) is revolutionizing how we learn from data. With its growing popularity, it is now being used in many safety-critical domains such as autonomous vehicles and…