A Proof-Carrying Approach to Building Correct and Flexible BPF Verifiers

Offered By: Linux Plumbers Conference via YouTube

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!

Explore a conference talk that delves into a proof-carrying approach for constructing correct and flexible BPF verifiers, presented by Luke Nelson, Xi Wang, and Emina Torlak at the Linux Plumbers Conference. Learn about innovative techniques and methodologies aimed at enhancing the reliability and adaptability of BPF (Berkeley Packet Filter) verifiers, which play a crucial role in ensuring the safety and efficiency of network packet filtering and system monitoring in Linux environments.

Syllabus

A proof-carrying approach to building correct and flexible BPF verifiers - Luke Nelson/Xi W/Emina T

Taught by

Linux Plumbers Conference

Related Courses

Real Time Mesajlaşma Uygulaması
Udemy Securely Booting Confidential VMs with Encrypting Disk
Linux Plumbers Conference via YouTube Pressure Feedback for LRU Map Types
Linux Plumbers Conference via YouTube Closing the BPF Map Permission Loophole
Linux Plumbers Conference via YouTube The Revival of the Learning-Sync Bridgeport Flag
Linux Plumbers Conference via YouTube