seL4

News about seL4 and the seL4 Foundation

Older News: 2020 2021 2022 2023
29 May 2023: Galois now part of the seL4 Foundation
Galois logo

We are pleased to have Galois now part of the seL4 Foundation, following its acquisition of Adventium labs, which has been a member 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.

10 May 2023: Register for the seL4 summit 2023
seL4 summit

The seL4 summit 2023 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

The early bird cut-off date is 18 August 2023.

5 May 2023: seL4 receives the ACM Software System Award!
ACM Award Winners

The 2022 ACM Software System Award 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!

14 April 2023: Dates and venue confirmed for the seL4 summit 2023.
seL4 summit

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!

Remember that you have until 24 April 2022 to propose a talk. To propose a talk, upload an abstract of one page or less to the submission portal.

22 March 2023: The Autoware Foundation joins the seL4 Foundation
Autoware Foundation

The seL4 Foundation welcomes the Autoware Foundation as a member.

The Autoware Foundation hosts the Autoware Project, the world’s leading open-source software project for autonomous driving.

As a member of the seL4 Foundation, the Autoware Foundation will work with members of the seL4 Foundation to implement a safe and secure Autonomous Driving software stack based on Autoware, leveraging the formally-verified and mixed-criticality capabilities of seL4.

20 February 2023: Call For Presentations for the seL4 Summit 2023
seL4 summit

Call For Presentations for the seL4 Summit 2023

  • Share your seL4 work
  • Share your seL4 experience
  • Share your seL4 thoughts

Check the full Call For Presentations. To propose a talk, upload an abstract of one page or less by 10 April 2023 to the submission portal.

13 February 2023: Meet the Program Committee of the seL4 summit 2023
seL4 summit

We are thrilled to announce our program committee for the seL4 Summit 2023. Our awesome team comes from various parts of the seL4 ecosystem: users, contributors, committers, experts, advocates, researchers, and engineers.

Perry Alexander
U of Kansas
June Andronick
Proofcraft
Todd Carpenter
Galois Inc
Axel Heider
Hensoldt Cyber
Nick Spinale
Colias Group
Robbie VanVossen
Dornerworks
10 February 2023: The seL4 summit 2023 will be held in Minneapolis, USA
seL4 summit

It is our pleasure to confirm that the seL4 Summit 2023 will be in:

Minneapolis, USA, Sept/Oct 2023 (dates TBC).


The summit will be hosted by the Linux Foundation, and will be an in-person event.

We will announce a Call for Presentations in the coming weeks. Stay tuned!