The seL4 Foundation thanks NIO for becoming our first Gold sponsor of the seL4 Summit 2023.
NIO is a global EV company funded in 2015 and that went public in the U.S. in 2018. NIO emphasizes user experience and technology innovation. NIO is a strong supporter of seL4 and a premium member of the seL4 Foundation. It has been investing heavily on building a full-fledge software platform for modern vehicles based on seL4.
https://www.nio.com/https://sel4.systems/Foundation/Summit/2023/https://sel4.systems/news/2023#sponsor23-nio
If you are interested in sponsoring the seL4 summit 2023, follow:
https://events.linuxfoundation.org/sel4-summit/sponsor/
Cheers
June
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
Cheers
June
> 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.
>
> https://sel4.systems/news/2023#summit-program-2023
>
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.
https://sel4.systems/news/2023#summit-program-2023
We are pleased to announce that the two keynotes for the seL4 summit 2023 [0] will be Gage from NCSC and Sam Leffler from Google! Gage will talk about "Scoping assurance activities with seL4 [1]" and Sam about "CantripOS: An OS for Ambient ML Applications [2]."
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.
[0] https://sel4.systems/Foundation/Summit/2023/
[1] https://sel4.systems/Foundation/Summit/2023/#abstract-gage
[2] https://sel4.systems/Foundation/Summit/2023/#abstract-sam
---
Dr. Birgit Brecknell
Project Officer
Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>
seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems>
0433 880 571
Mon 9am-5pm
Wed 2pm-5pm
Fri 9am-5pm
We are pleased to have Galois<https://galois.com/> [0] now part of the seL4 Foundation, following its acquisition of Adventium labs, which has been a member [1] since 2020 and user of seL4 technologies for years before that. Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable. They apply cutting edge computer science and mathematics to advance the state of the art in software and hardware trustworthiness. The seL4 Foundation looks forward to our continuing collaboration.
[0] https://galois.com/
[1] https://sel4.systems/Foundation/Membership/
---
Dr. Birgit Brecknell
Project Officer
Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>
seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems>
0433 880 571
Mon 9am-5pm
Wed 9am-12pm
Fri 9am-5pm
The seL4 summit 2023 [0] will be held in Minneapolis, USA, 19 - 21 September 2023.
The seL4 summit will cover the complete seL4 ecosystem, consisting of the verified microkernel, as well as all seL4-related technology, tools, infrastructure, products, projects, and people.
Tickets include:
- Participation in the 3-day conference, including talks, keynotes, seL4 updates & discussions
- Networking with other seL4 experts and enthusiasts
- Reception and Dinner
Register here [1]
The early bird cut-off date is 18 August 2023.
[0] http://localhost:8080/Foundation/Summit/2023/
[1] https://events.linuxfoundation.org/sel4-summit/
---
Dr. Birgit Brecknell
Project Officer
Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>
seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems>
0433 880 571
Mon 9am-5pm
Wed 9am-12pm
Fri 9am-5pm
The 2022 ACM Software System Award [0] recognises seL4 as the first industrial-strength, high-performance operating system to have been the subject of a complete, mechanically-checked proof of full functional correctness, proofs of enforcement of the core security properties of integrity and confidentiality, a proof to the binary code of the kernel, and the first sound and complete worst-case execution-time analysis of a protected mode OS.
The award, recognising the development of a software system that has had a lasting influence, goes to Gernot Heiser, University of New South Wales; Gerwin Klein, Proofcraft; Harvey Tuch, Google; Kevin Elphinstone, University of New South Wales; June Andronick, Proofcraft; David Cock, ETH Zurich; Philip Derrin, Qualcomm; Dhammika Elkaduwe, University of Peradeniya; Kai Engelhardt; Toby Murray, University of Melbourne; Rafal Kolanski, Proofcraft; Michael Norrish, Australian National University; Thomas Sewell, University of Cambridge; and Simon Winwood, Galois.
We are committed to make sure that seL4's recognised "lasting influence" live on for the decades ahead!
[0] https://awards.acm.org/software-system
---
Dr. Birgit Brecknell
Project Officer
Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>
seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems>
0433 880 571
Mon 9am-5pm
Wed 9am-12pm
Fri 9am-5pm
One week to go to submit a talk for seL4 summit 2023 [0]!
If you'd like to submit a talk, please upload an abstract of one page or less to the submission portal [1].
The seL4 Summit 2023 will be held 19 - 21 September 2023 at the Elliot Park Hotel, Minneapolis, USA. The summit will be hosted by the Linux Foundation, and will be an in-person event. Registration details to follow soon.
We're looking forward to many exciting proposals!
[0] https://sel4.systems/Foundation/Summit/2023/cfp
[1] https://sel4.systems/Foundation/Summit/2023/submit
---
Dr. Birgit Brecknell
Project Officer
Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>
seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems>
0433 880 571
Mon 9am-5pm
Wed 9am-12pm
Fri 9am-5pm
Dates and venue confirmed for the seL4 summit 2023!
The seL4 Summit 2023 [0] will be held 19 - 21 September 2023 at the Elliot Park Hotel [1], Minneapolis, USA.
The summit will be hosted by the Linux Foundation [2], and will be an in-person event.
Registration details to follow soon!
Remember that you have until 24 April 2022 to propose a talk [3]. To propose a talk, upload an abstract of one page or less to the submission portal [4].
[0] https://sel4.systems/Foundation/Summit/2023/
[1] https://www.elliotparkhotel.com/
[2] https://www.linuxfoundation.org/
[3] https://sel4.systems/Foundation/Summit/2023/cfp
[4] https://sel4.systems/Foundation/Summit/2023/submit
---
Dr. Birgit Brecknell
Project Officer
Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>
seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems>
0433 880 571
Mon 9am-5pm
Wed 9am-12pm
Fri 9am-5pm
The deadline to submit a presentation to the seL4 summit 2023 is extended by 2 weeks. You now have until the 24th of April 2023 to propose a talk, by uploading an abstract of one page or less to:
https://sel4.systems/Foundation/Summit/2023/submit
The reason for the extension is that we want to let you know the definite dates for the summit before the deadline :) Current tentative (and very likely) dates are 19-20-21 September 2023, to be confirmed very soon.
Looking forward to receiving your proposals. We want to hear about your cool seL4 work!
And spread the word! If you want to hear about specific seL4 work, ping people around you or let us know at summit(a)sel4.systems <mailto:summit@sel4.systems>
June