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
Endorsed Service Provider
General Members
Cog Systems Inc
Founding member
Endorsed Service Provider
Endorsed Service Provider
DornerWorks Ltd
Founding member
Endorsed Service Provider
Endorsed Service Provider
Galois Inc
Google LLC
HENSOLDT Cyber GmbH
Founding member
Endorsed Service Provider
Endorsed Service Provider
Kry10 Limited
Endorsed Service Provider
Lotus Cars
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