seL4 foundation logo

seL4 Foundation Membership

Below is the list of members of the seL4 Foundation. Want to be part of the adventure?

JOIN NOW HERE!

Premium Members

Horizon Robotics
Jump Trading
NIO
UNSW Sydney
Founding member
Endorsed Service Provider

General Members

Cog Systems Inc
Founding member
Endorsed Service Provider
DornerWorks Ltd
Founding member
Endorsed Service Provider
Google LLC
HENSOLDT Cyber GmbH
Founding member
Endorsed Service Provider
Kry10 Limited
Endorsed Service Provider
Penten Pty Ltd
Proofcraft Pty Ltd
Endorsed Service Provider
Raytheon Technologies
SpacemiT
Technology Innovation Institute
Xcalibyte

Associate Members

Autoware Foundation
ETH Zurich
Kansas State University
NCSC
RISC-V International
TU Munich
University of Kansas