eBPF 검증기의 보안 딜레마: 새로운 격리된 실행 환경

Linux 커널의 기본 기술인 eBPF는 검증기에서 보안 취약성과 복잡성 문제에 직면해 있습니다. 연구자들은 패러다임 전환을 제안합니다. BPF 프로그램을 전용 격리를 필요로 하는 커널 모드 애플리케이션으로 정의하는 것입니다. BPF 프로그램을 격리하고 eBPF의 보안과 확장성을 향상시키기 위해 새로운 실행 환경이 설계되었습니다. 이 연구는 Linux v6.16의 eBPF 검증기를 심층적으로 분석하여 전체 경로 분석에서의 보안 속성, 기능적 딜레마, 정확성 딜레마를 밝힙니다. 검증과 격리를 결합한 하이브리드 보안 프레임워크가 제안되어 eBPF의 더욱 안전한 미래를 위한 방향을 제시합니다.