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 | |
---|---|---|---|---|
Thank you UNSW, Bronze sponsor of the seL4 Summit 2025
|
0 | 6 | May 18, 2025 | |
Cyberagentur joins the seL4 Foundation
|
0 | 19 | January 22, 2025 | |
Welcome UNSW, Bronze sponsor of the seL4 Summit 2024
|
0 | 31 | May 31, 2024 | |
Welcome Collins, Bronze sponsor of the seL4 Summit 2024
|
0 | 14 | August 15, 2024 | |
Thank you Collins, Bronze sponsor of the seL4 Summit 2025
|
0 | 8 | May 1, 2025 |