The seL4 Report

" summary

Updates on the seL4 ecosystem over the last year, including formation and activities of the seL4 Foundation, completion of a functional correctness proof of the seL4 microkernel port to RISC-V, and progress on time protection — a systematic approach to prevent timing channels — along with ongoing efforts to formally verify that time-protection work.

AI-written summary · about

" related talks

• 45mVerified seL4 on secure RISC-V processorsGernot Heiser · linux.conf.au 2020
• 44mThe seL4 Foundation – growing through upheavalGernot Heiser · linux.conf.au 2022
• 19mAn Open Source Approach to System SecurityHelena Handschuh · RISC-V Summit 2019
• 13mRISC-V: Securing the Future of Open Source ComputingAndrew Dellow · Spring 2022 RISC-V Week — RISC-V International Day
• 25mKernel Self-Protection ProjectKees Cook · Linux Security Summit North America 2019
• 11mSub-system Update: Kernel Self-Protection ProjectKees Cook · Linux Security Summit North America 2018
• 19mSeecompKees Cook · Linux Security Summit 2016
• 47mA Security RISC? The State of Microarchitectural Attacks on RISC-VDaniel Weber, Michael Schwarz, Lukas Gerlach · Black Hat Europe 2023