We are pleased to have Galois now part of the seL4 Foundation, following its acquisition of Adventium labs, which has been a member since 2020 and user of seL4 technologies for years before that. Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable. They apply cutting edge computer science and mathematics to advance the state of the art in software and hardware trustworthiness. The seL4 Foundation looks forward to our continuing collaboration.
Related topics
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Thank you Proofcraft, Silver sponsor of the seL4 Summit 2025
|
0 | 16 | May 20, 2025 | |
Thank you UNSW, Bronze sponsor of the seL4 Summit 2025
|
0 | 10 | May 18, 2025 | |
Welcome Proofcraft, Bronze sponsor of the seL4 Summit 2024
|
0 | 32 | May 23, 2024 | |
Welcome UNSW, Bronze sponsor of the seL4 Summit 2024
|
0 | 31 | May 31, 2024 | |
Welcome Kry10, Gold sponsor of the seL4 Summit 2024
|
0 | 20 | September 6, 2024 |