eBPF検証器のセキュリティ上のジレンマ：新しい隔離された実行環境

Linuxカーネルの基本技術であるeBPFは、その検証器において、セキュリティ上の脆弱性と複雑性の課題に直面しています。研究者たちは、パラダイムシフトを提案しています。BPFプログラムを、専用の分離を必要とするカーネルモードアプリケーションとして定義することです。BPFプログラムを分離し、eBPFのセキュリティとスケーラビリティを向上させるために、新しい実行環境が設計されました。この研究は、Linux v6.16のeBPF検証器を深く掘り下げ、その完全パス解析におけるセキュリティ特性、能力のジレンマ、正しさのジレンマを明らかにしています。検証と分離を組み合わせたハイブリッドセキュリティフレームワークが提案され、eBPFのより安全な未来への道筋を示しています。