seL4 News

News about seL4, the seL4 Foundation, and the seL4 ecosystem.

Also available as RSS feed.

20 Feb 2026

Register for the seL4 summit 2026

The seL4 summit 2026 will be held in Vancouver, Canada, 1 - 3 September 2026.

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
Dinner

Register here

The early bird cut-off date is XX August 2026.

A number of informal social activities will be organised by the seL4 community for Monday 31 August 2026. Stay tuned for more info!

28 Jan 2026

Fraunhofer AISEC joins the seL4 Foundation

The seL4 Foundation is pleased to welcome the Fraunhofer Institute for Applied and Integrated Security AISEC as our latest Associate Member.

Fraunhofer AISEC 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.

23 Jan 2026

Call For Presentations for the seL4 Summit 2026

You can now submit a proposal 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. To propose a talk, upload an abstract of one page or less by 20 April 2026 to the submission portal.

19 Jan 2026

Riverside Research joins the seL4 Foundation

The seL4 Foundation is pleased to welcome Riverside Research as an Associate Member.

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.