ELISA Workshop Fall 2021 CFP Submission - ebpf Verifier: Lessons learned for safety

Deb Giles <dgiles@...>

New submission to the ELISA Workshop Fall 2021 CFP. Please find below the details.

Email addresselana.copperman@...
Primary Speaker Information
Primary Speaker Full NameElana Copperman
Primary Speaker Job TitleSystem Safety Architect
Primary Speaker CompanyMobileye/Intel
Is there a co-speaker?No
Submission Details
Type of SubmissionPresentation
Session Length30 minutes (includes 5 minutes for Q&A)
Topic Title / Idea ebpf Verifier: Lessons learned for safety
AbstractThe ebpf verifier ensures that ebpf programs are "safe" to run in the Linux kernel. We describe why the verifier is necessary, and how "safety" is defined/attained in this context, including what may be relevant for "safety" as expected for safety-critical systems.
Any critical participants needed for the discussion?Paul Albertella
Audience BackgroundNew to Safety
Experienced with Safety
New to Linux Kernel
Experienced with Linux Kernel
What timezone do you prefer to present in?Israel - IST (+2)
Code of Conduct - I agree to abide by the ELISA Code of Conduct.Yes