seL4 Foundation

Last day to submit a talk proposal to the sel4 summit! It only requires an abstract. Don't miss it: https://lnkd.in/e7526SBq

Thank you Proofcraft for being Silver sponsor of the coming seL4 summit. If you are interested in sponsoring the event as well, see: https://lnkd.in/geusv-Mi https://lnkd.in/euU4QmRf

Thank you Riverside Research for being sponsor of the dinner at the coming seL4 summit in Vancouver. If you'd like to be a sponsor too, see: https://lnkd.in/geusv-Mi https://lnkd.in/e9efEhAV

Don't forget to submit a talk proposal for the coming seL4 summit in Vancouver. Only 1 week left!

1 week to go to submit a talk proposal to the seL4 summit 2026! Looking forward to many exciting proposals. Share widely. https://lnkd.in/er3nNmGf

The seL4 Foundation is 6 years old. A big thank you to all our members for supporting seL4!

We are pleased to announce two outstanding keynotes for the seL4 Summit 2026: Anjana Rajan, Former Assistant National Cyber Director at The White House, and Martin D., Chief Scientist at Kry10. This year, the summit will also feature "Voices from Nearby," with Alistair Woodman, Board Member of the Erlang Ecosystem Foundation, and David Hardin, Associate Director of Systems Engineering at Collins Aerospace. Stay tuned for more details to come soon. Registrations are open: https://lnkd.in/eCfYN4QX And there is still time to submit a talk proposal (until April 20th): https://lnkd.in/gQNURu_z https://lnkd.in/gUx2N2dj

Welcome Neutrality to the seL4 Foundation! Designed for organisations that cannot compromise on trust, Neutrality is building Atoll, a formally-verified, secure, European-sovereign virtualisation and cloud hosting platform. Atoll provides a mathematical proof of isolation between customer workloads, delivering a new level of assurance. Atoll builds on the foundation provided by the formally-verified #seL4 microkernel, extending its formal correctness proof and platform support to securely run colocated commercial workloads handling sensitive data on commodity hardware. Neutrality combines cutting-edge research in Systems, Formal Methods, and Security with a world class engineering team to provide organisations unprecedented levels of trust in their most critical systems. Joining the seL4 Foundation enables the team at Neutrality to collaborate with the global community advancing the seL4 microkernel and formally verified, high-assurance computing. https://lnkd.in/e-KgVD96

Registrations are now open for the upcoming seL4 summit in Vancouver, Sep 1-3. 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 days of technical talks and discussion on development, research, and experience reports. If you’re new to seL4 or still developing your familiarity with the technology, this is an ideal opportunity to get a high-level view of the landscape and ecosystem. https://lnkd.in/driatvrj

Welcome Fraunhofer AISEC to the seL4 Foundation! One of the world-leading institutions for applied research in cybersecurity, Fraunhofer AISEC is exploring the use of the #seL4 microkernel and its ecosystem to build strictly separated, resilient embedded and IoT systems. https://lnkd.in/egZ4JMuc