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 | |
---|---|---|---|---|
The seL4 Foundation is pleased to welcome Google!
|
0 | 183 | August 3, 2022 | |
Thank you for your donation, Ghost!
|
0 | 233 | August 31, 2021 | |
Apple joins the seL4 Foundation
|
0 | 136 | April 29, 2024 | |
Thank you UNSW, Bronze sponsor of the seL4 Summit 2025
|
0 | 10 | May 18, 2025 | |
Welcome UNSW, Bronze sponsor of the seL4 Summit 2024
|
0 | 31 | May 31, 2024 |