Thank you Proofcraft, silver sponsor of the seL4 Summit 2026 The seL4 Foundation thanks Proofcraft, silver sponsor of the seL4 Summit 2026. Founded by the seL4 verification leaders, Proofcraft offers commercial support and projects in formal verification in ge...

Proofcraft is a Silver Spo0nsor of the #seL4 Summit – thank you Proofcraft!

sel4.discourse.group/t/thank-you-...

Thank you Riverside Research, sponsor of the seL4 Summit 2026 reception The seL4 Foundation thanks Riverside Research for sponsoring the seL4 Summit 2026 reception. Riverside Research is a national security nonprofit serving the DOD and Intelligence Community. Through th...

Riverside Research is sponsoring the #seL4 Summit – thank you, Riverside!

sel4.discourse.group/t/thank-you-...

Seems when the AI can’t bullshit its way through, it doesn’t do so well. Who would have thought?

fiducia-lang.github.io/blog/claude-...

#seL4 release 15.0.0 is out!
Together with accompanying releases of Microkit, CAmkES, CapDL and rust-sel4.

sel4.systems/news/#03-31

John Lions Distinguished Lecture You're invited to attend this talk by Emeritus Prof. Hermann Härtig, Technische Universität Dresden, Computer Science Department.

Microkernels are very much at the centre of this year’s John Lions Distinguished Lecture: Hermann Härtig, Father of L4Re and NOVA (among others) will talk about “Taming the Elephant in the Basement: From L4 to M3”

www.eventbrite.com.au/e/john-lions...

The #seL4 Summit will also feature Voices from Nearby.

Alistair Woodmand, Board Member of the Erlang Ecosystem Foundation, on the European Cyber Resiliency Act.

David Hardin, Associate Director of Systems Engineering at Collins Aerospace, on real-world formal verification.
sel4.systems/news/#03-18

This year’s #seL4 Summit in Vancouver will have two great keynotes, Anjana Rajan, Former Assistant National Cyber Director at The White House, and Martin Dehnel-Wild, Chief Scientist at Kry10.

sel4.systems/news/#03-18

Welcome Neutrality to the #seL4 Foundation!

sel4.systems/news/#03-13

The seL4 microkernel is one of the most solid foundations for building secure systems. But to fully trust the programs running on top of it, we still need formal proofs that they behave exactly as… | ... The seL4 microkernel is one of the most solid foundations for building secure systems. But to fully trust the programs running on top of it, we still need formal proofs that they behave exactly as int...

Happy to share that California-based Foresight Institute has awarded us a grant for our work on bridging gap between verification of user-level components and the #seL4 specification.
This will enable end-to-end verification of a complete operating system.

www.linkedin.com/feed/update/...

Registration open for the seL4 summit 2026 We have an exciting new format for 2026! A full first day dedicated to applications, overviews, and perspectives on seL4-based systems and formally verified software in the real world. Followed by two...

Registration is open for this year’s #seL4 Summit in Vancouver, 1–3 September: sel4.discourse.group/t/registrati...

#firewalls | ExploitChance (Grupo Pentest®) We’re pleased to announce that Numantia will be adopting LionsOS, built on the seL4 microkernel, to run a dedicated packet-filtering specific component inside our appliance. This design choice reflect...

First publicised use of the #seL4-based #LionsOS in a commercial product: www.linkedin.com/feed/update/...

Welcome Fraunhofer AISEC to the #seL4 Foundation!

sel4.systems/news/#01-28

The Call for Presentations for the #seL4 Summit is out!

sel4.systems/news/#01-23

Riverside Research joins the seL4 Foundation

sel4.systems/news/#01-19

yes, this is a true shock!
Emma was a great person

Recent formal-methods PD looking for an exciting opportunity? Such as living in Sydney and contributing to end-to-end verification of LionsOS?
Here’s your chance: external-careers.jobs.unsw.edu.au/cw/en/job/53...

Gerald Heiser: Ein Blick auf den führenden Experten für Betriebssysteme Gerald Heiser ist ein Name, der in der Welt der Informatik und insbesondere im Bereich der Betriebssysteme und Cybersicherheit

AI at work, with some hilarious assertions. But WHY??? investorbit.de/menschen/ger...

Nice move, Kathleen!

Interested in contributing to the #seL4 ecosystem, maybe seing your contributions deployed?
Trustworthy Systems has released a firewall as a community project. It’s well-documented, easy to get started with, and there are plenty of parts to contribute. Details at trustworthy.systems/news/#lionso...

Genode Sculpt OS runs on #seL4: sel4.systems/news/#sculpt

Spring time is Jacaranda time in Sydney – the city is full of those magnificent trees

Paul Compton Memorial YouTube video by Seb Sg

Last week we had a memorial event for my former colleague and boss Prof Paul Compton. It was captured in this video: www.youtube.com/watch?v=isq-...
I was asked to summarise my memories of Paul, the are at 57:40–62:50

The #seL4 Foundation is inviting the community to a survey on the location of next year’s #Summit: sel4.discourse.group/t/sel4-summi...

The recordings of all presentations from this month's #seL4 Summit are up: sel4.systems/news/2025.ht...

Schedule | LF Events Please note: This schedule is automatically displayed in Central European Summer Time (CEST / UTC+2). To see the schedule in your preferred timezone, please select from the drop-down menu to the right...

Regrettably I didn’t take a picture, but one of the coolest talks at the #seL4 Summit was Alexander Böttcher: “Sculpt OS – a dynamic, general-purpose OS powered by Genode on seL4”. It was presented on a laptop running Sculpt OS!
events.linuxfoundation.org/sel4-summit/...

#seL4 for secure voice communication for aircraft: Peter de Ridder from MEP at the seL4 Summit

Again Kaegi at the #seL4 Summit reports on progress on verifying an IPv6 attack with a bunch of undergraduate students

Side Agrawal from UBC discusses evaluating isolation mechanisms at the #seL4 Summit

#seL4 Foundation CEO June Andronick's update reveals that we'll be moving to a new structure, based in Switzerland! Members will no longer have to pay for Linux Foundation membership

Day 2 of the seL4 Summit kicks off with an industry panel discussing making a business case for a verified kernel