- Announce - lists.sel4.systems

Reminder: Call For Presentations for the seL4 Summit 2026
by Announcements about seL4 -- low volume list 20 Mar '26

20 Mar '26

Reminder: Submit a proposal [0] for the seL4 Summit 2026 [1], to be held in Vancouver September 1-3. Join our exciting lineup of keynote speakers [2] and industry experts [3] at the seL4 summit! **NEW!** The 2026 edition of the seL4 summit will feature a **full first day** dedicated to **applications, overviews, and perspectives** on seL4-based systems and formally verified software in the real world. This will be followed by Days 2 and 3 focusing on more technical development, research, reports, and discussions. We are particularly keen to **welcome people who are new to seL4** or still developing their familiarity with the technology. The event will offer an **ideal opportunity to gain a high-level view of the landscape and ecosystem** of seL4 and its associated tools, frameworks and languages, as well as formally verified software in general, and to take stock of the latest updates.The program includes a wide range of seL4-related themes and topics: Themes - visions, lessons-learned, roadmaps for verified software deployments - use-cases, deployments, experiences - walk-throughs and demos of tools, frameworks, systems - early work, crazy ideas, out-of-the-box thinking - technical progress, updates, breakthroughs Topics - seL4 experience reports - seL4 and assurance - seL4 on-going and planned R&D, mature of early stage - seL4 and hardware Check the full Call For Presentations [0]. To propose a talk, upload an abstract of one page or less by **20 April 2026** to the submission portal [4]. [0] https://sel4.systems/Summit/2026/cfp.html [1] https://sel4.systems/Summit/2026/ [2] https://sel4.systems/Summit/2026/#keynotes [3] https://sel4.systems/Summit/2026/#voices-nearby [4] https://form.jotform.com/260147181364858 Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit(a)sel4.systems <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

1 0

The seL4 Summit 2026 Keynotes and "Voices from Nearby"
by Announcements about seL4 -- low volume list 18 Mar '26

18 Mar '26

**The seL4 Summit 2026 Keynotes and "Voices from Nearby”** **Keynotes** We are pleased to announce that we have two outstanding keynotes for the seL4 Summit 2026 [0]: Anjana Rajan [1], Former Assistant National Cyber Director at The White House, and Martin Dehnel-Wild [2], Technical Director & Principal Security Researcher at Kry10. Abstracts coming soon — stay tuned! **"Voices from Nearby”** This year, the summit will feature a full first day dedicated to applications, overviews, and perspectives on seL4-based systems and formally verified software in the real world. This will include a session on "Voices from Nearby," with industry experts who work in or share their thoughts on areas that are adjacent to the core seL4 areas. Alistair Woodmand [3], Board Member of the Erlang Ecosystem Foundation, will share his insights on the European Cyber Resiliency Act and implications for open source software, and David Hardin [4], Associate Director of Systems Engineering at Collins Aerospace, will give an overview on trends in real-world formal verification. Details to come soon. Register for the seL4 summit 2026 [5], or submit a talk proposal [6]. [0] https://sel4.systems/Summit/2026/ [1] https://www.linkedin.com/in/anjanarajan/ [2] https://www.linkedin.com/in/mpdehnel/ [3] https://www.linkedin.com/in/alistair-woodman-51934433/ [4] https://loonwerks.com/people/david-hardin.html [5] https://events.linuxfoundation.org/sel4-summit/register/ [6] https://sel4.systems/Summit/2026/cfp.html Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit(a)sel4.systems <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

1 0

Neutrality joins the seL4 Foundation
by Announcements about seL4 -- low volume list 13 Mar '26

13 Mar '26

We are pleased to welcome a new member [0] - Neutrality [1] - to the seL4 Foundation [2]. 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. [0] https://sel4.systems/Foundation/Membership/ [1] https://neutrality.ch/ [2] https://sel4.systems/Foundation/ Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit(a)sel4.systems <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

1 0

Registration open for the seL4 summit 2026
by Announcements about seL4 -- low volume list 23 Feb '26

23 Feb '26

We have an exciting new format for the seL4 summit 2026 [0]! 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. The seL4 summit 2026 will be in Vancouver, Canada, on 1 - 3 September 2026 [0]. Come hear about: - vision, lessons-learned, roadmaps for verified software deployments; - use-cases, deployments, experiences; - walk-throughs and demos of tools, frameworks, systems; - early work, crazy ideas, out-of-the-box thinking; - technical progress, updates, breakthroughs. And join us for one of the informal social activities [1] on Monday 31 August 2026, for a fun gathering before the event starts! If you have any cool work/idea/project/product related to seL4, don’t forget to submit a talk proposal [2]. Tickets include: - Participation in the 3-day conference, including talks, keynotes, seL4 updates & discussions - Networking with other seL4 experts and enthusiasts - Dinner Register here [3] The early bird cut-off date is 31 July 2026. [0] https://sel4.systems/Summit/2026/ [1] https://sel4.systems/Summit/2026/program.html#social [2] https://sel4.systems/Summit/2026/cfp.html [3] https://events.linuxfoundation.org/sel4-summit/register/ Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit(a)sel4.systems <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

1 0

Fraunhofer AISEC joins the seL4 Foundation
by Announcements about seL4 -- low volume list 28 Jan '26

28 Jan '26

The seL4 Foundation [0] is pleased to welcome the Fraunhofer Institute for Applied and Integrated Security AISEC as our latest Associate Member [1]. Fraunhofer AISEC [2] is considered one of the world-leading institutions for applied research in cybersecurity. Around 230 highly qualified researchers develop customized security concepts and solutions for commercial businesses and the public sector, boosting the overall competitiveness of clients and partners. Fraunhofer AISEC designs solutions for enhanced data security and effective defense against cybercrimes such as corporate espionage and tampering attacks. The institute's portfolio ranges from embedded and hardware security, automotive and mobile security to security solutions for industry and automation. Fraunhofer AISEC is exploring the use of the seL4 microkernel and its ecosystem to build strictly separated, resilient embedded and IoT systems. [0] https://sel4.systems/Foundation/ [1] https://sel4.systems/Foundation/Membership/ [2] https://www.aisec.fraunhofer.de/en.html Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit(a)sel4.systems <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

1 0

Call For Presentations for the seL4 Summit 2026
by Announcements about seL4 -- low volume list 23 Jan '26

23 Jan '26

You can now submit a proposal [0] for the seL4 Summit 2026, to be held in Vancouver September 1-3. **NEW!** The 2026 edition of the seL4 summit will feature a **full first day** dedicated to **applications, overviews, and perspectives** on seL4-based systems and formally verified software in the real world. This will be followed by Days 2 and 3 focusing on more technical development, research, reports, and discussions. We are particularly keen to **welcome people who are new to seL4** or still developing their familiarity with the technology. The event will offer an **ideal opportunity to gain a high-level view of the landscape and ecosystem** of seL4 and its associated tools, frameworks and languages, as well as formally verified software in general, and to take stock of the latest updates.The program includes a wide range of seL4-related themes and topics: Themes - visions, lessons-learned, roadmaps for verified software deployments - use-cases, deployments, experiences - walk-throughs and demos of tools, frameworks, systems - early work, crazy ideas, out-of-the-box thinking - technical progress, updates, breakthroughs Topics - seL4 experience reports - seL4 and assurance - seL4 on-going and planned R&D, mature of early stage - seL4 and hardware Check the full Call For Presentations [0]. To propose a talk, upload an abstract of one page or less by **20 April 2026** to the submission portal [1]. [0] https://sel4.systems/Summit/2026/cfp.html [1] https://form.jotform.com/260147181364858 Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit(a)sel4.systems <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

1 0

Riverside Research joins the seL4 Foundation
by Announcements about seL4 -- low volume list 19 Jan '26

19 Jan '26

The seL4 Foundation is pleased to welcome Riverside Research [0] as an Associate Member [1]. Riverside Research acquired Cog Systems, a founding member of the seL4 Foundation in 2025 and continues their work using seL4 within High Assurance systems. Riverside Research is a national security nonprofit serving the DOD and Intelligence Community. Through the company's Open Innovation Center (OIC), it invests in multidisciplinary research and development and encourages collaboration. Riverside Research's areas of expertise include Object and Activity Detection; Accelerated AI/ML; Zero Trust; Open Architectures; Computational Electromagnetics; Plasma Physics; Precision Timing; Terahertz Imaging; Commercial Intelligence, Surveillance, and Reconnaissance (ISR); Collection Planning; and more. Learn more at www.riversideresearch.org [0]. [0] https://www.riversideresearch.org/ [1] https://sel4.systems/Foundation/Membership/ Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit(a)sel4.systems <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

1 0

Location, Dates and Program Committee of the seL4 Summit 2026
by Announcements about seL4 -- low volume list 15 Dec '25

15 Dec '25

We are pleased to announce that the seL4 Summit 2026 [0] will be held in Vancouver, Canada, 1 - 3 September (informal social activities on 31 August). Meet the Program Committee Our team comes from various parts of the seL4 ecosystem: users, contributors, committers, experts, advocates, researchers, and engineers. - Robbie Vanvossen (co-chair) https://www.linkedin.com/in/robbie-vanvossen-gr/ - Lucy Fletcher (co-chair) https://www.linkedin.com/in/lucy-fletcher-13a484253/?utm_source=share&utm_c… - Adam https://www.ncsc.gov.uk/ - Corey Lewis https://trustworthy.systems/people/?cn=Corey+Lewis - David Cock https://neutrality.ch/people/ - David Hardin https://loonwerks.com/people/david-hardin.html - Gernot Heiser https://trustworthy.systems/people/?cn=Gernot+Heiser - Juliana Furgala https://www.ll.mit.edu/biographies/juliana-furgala - Leigha VanderKlok https://www.linkedin.com/in/leigha-vanderklok-b5038a166/ - Lesley Rossouw https://www.linkedin.com/in/lesley-rossouw-a6ab451b6/ - Martin Dehnel-Wild https://www.linkedin.com/in/mpdehnel/ - Nick Spinale https://nickspinale.com/ [0] https://sel4.systems/Summit/2026/ Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit(a)sel4.systems <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

1 0

Trustworthy Systems releases LionsOS-based firewall as a community project
by Announcements about seL4 -- low volume list 14 Nov '25

14 Nov '25

Dear seL4 Community, The Trustworthy Systems group is pleased to announce the release of a new community project for extending a proof-of-concept LionsOS-based firewall in the hope of turning it into a deployable system. More details at https://trustworthy.systems/news/#lionsos_firewall_release_25 Have fun! Gernot PS: Please ignore lawyerese below – out of my control :-( This email and any files transmitted with it may contain confidential information. If you believe you have received this email or any of its contents in error, please notify me immediately by return email and destroy this email. Do not use, disseminate, forward, print or copy any contents of an email received in error.

1 0

Genode Sculpt runs on seL4
by Announcements about seL4 -- low volume list 12 Nov '25

12 Nov '25

Genode Sculpt runs on seL4 Genode Labs have released Sculpt OS 25.10 [0] with an (unofficial and experimental) variant running on seL4. Sculpt is a general-purpose OS that combines Genode's microkernel architecture, capability-based security, sandboxed device drivers, and virtual machines in a novel operating system for commodity PC hardware and the PinePhone. Sculpt is used as day-to-day OS by the Genode developers. [0] https://genodians.org/alex-ab/2025-11-02-sculpt-multi-kernel Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit(a)sel4.systems <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

1 0