vix.ing · top · new · best · stats

Saeid Tizpaz-Niari

  1. Heimdall: Formally Verified Automated Migration of Legacy eBPF Programs to Rust
    2026/05/25 by Vishnu Asutosh Dasu, Monika Santra, Md Rafi Ur Rashid +3 · 1 voice
    Computer Science · #cs.CR #cs.SC