TY  - RPRT
TI  - Heimdall: Formally Verified Automated Migration of Legacy eBPF Programs to Rust
AU  - Vishnu Asutosh Dasu
AU  - Monika Santra
AU  - Md Rafi Ur Rashid
AU  - Ashish Kumar
AU  - Saeid Tizpaz-Niari
AU  - Gang Tan
PY  - 2026
UR  - https://arxiv.org/abs/2605.25411
ID  - 2605.25411
ER  -