Proof-Carrying Verification for eBPF - Martin Fink, Technical University of Munich
0:00 · Watch on YouTube
eBPF-verifierer i Linuxkernen er i dag et stort, komplekst og sikkerhedskritisk stykke kode (verifier.c alene over 21.000 linjer), og foredraget præsenterer forskningsarkitekturen HiveGuard, der flytter de tunge sikke...