The seL4 Foundation is pleased to welcome The University of Kansas as Associate Member. KU has collaborated with a number of seL4 Foundation members along the years, including in the DARPA CASE project, which produced a set of formal methods tools that can be applied throughout the design and build process to create seL4-based high-assurance cyber-resilient systems.
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
|
Riverside Research joins the seL4 Foundation
|
0 | 8 | January 18, 2026 | |
|
Cyberagentur joins the seL4 Foundation
|
0 | 32 | January 22, 2025 | |
|
NCSC joins the seL4 Foundation
|
0 | 197 | February 2, 2022 | |
|
Lewis & Clark College joins the seL4 Foundation
|
0 | 38 | September 30, 2024 | |
|
Fraunhofer AISEC joins the seL4 Foundation
|
0 | 9 | January 28, 2026 |