Heimdall: Formally Verified Automated Migration of Legacy eBPF Programs to Rust

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Dasu, Vishnu Asutosh, Santra, Monika, Rashid, Md Rafi Ur, Kumar, Ashish, Tizpaz-Niari, Saeid, Tan, Gang
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Cryptography and Security Symbolic Computation
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Online

https://arxiv.org/abs/2605.25411