One clarification about the summit (since people are asking): it is an in-person event, meaning that there will be no live streaming for remote participation this year, but the event will still be recorded and all talks (for which the presenter accepted to be recorded) will be made available shortly after the summit on the seL4 YouTube channel https://www.youtube.com/@seL4
> On 26 Jun 2023, at 17:14, June Andronick (seL4 Foundation) <june(a)sel4.systems> wrote:
> Have a look at the program of the seL4 summit 2023!
> We have a great line-up of interesting seL4 work, with a combination of technical research and development, experience reports of seL4 in the field, technical discussions and birds-of-a-feather sessions, as well as a training session on getting started with seL4.
Have a look at the program of the seL4 summit 2023!
We have a great line-up of interesting seL4 work, with a combination of technical research and development, experience reports of seL4 in the field, technical discussions and birds-of-a-feather sessions, as well as a training session on getting started with seL4.
We are pleased to announce that the two keynotes for the seL4 summit 2023  will be Gage from NCSC and Sam Leffler from Google! Gage will talk about "Scoping assurance activities with seL4 " and Sam about "CantripOS: An OS for Ambient ML Applications ."
Gage is an Assurance Lead in NCSC with expertise in cryptography, software assurance and verification. He is part of a larger team that seeks to provide assurance and articulate risk for a wide range of products and customers. Whilst he is not a product developer himself, he has been responsible for presenting assurance cases for products that rely on seL4 to uphold security requirements.
Sam Leffler has worked at Google for nearly 15 years. He was part of the original team that developed ChromeOS and the ChromeBook, was responsible for the networking components of Project Loon, and worked on various infrastructure projects before joining Project Sparrow to help build the CantripOS embedded operating system. Prior to joining Google he was an independent contractor focused on wireless networking and operating systems. Before contracting he worked for VMware, Silicon Graphics, Pixar, Lucasfilm, and the Computer System Research Group (CSR) at UC Berkeley where he was responsible for the 4.2BSD release of the UNIX operating system. At CSRG he co-designed and implemented many of the facilities found in contemporary UNIX systems including sockets, networking support (IP/TCP), reliable signals, and more.
Dr. Birgit Brecknell
Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:firstname.lastname@example.org>
seL4 Foundation, birgit(a)sel4.systems<mailto:email@example.com>
0433 880 571