seL4 News

We are pleased to welcome a new member - 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.

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.

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

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

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 31 July 2026.

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.

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.