The seL4 Foundation is pleased to welcome Germany’s Cyberagentur as Associate Member, coinciding with the launch of five projects in its research program on an “Ecosystem of formally verified IT – provable cybersecurity (EvIT)”. Two of the projects include work enhancing seL4. The Cyberagentur is joining the seL4 Foundation to underline the importance of this approach for making both highly complex IT systems and critical infrastructures more secure and to attract further supporters. The Cyberagentur funds cybersecurity research projects with a high risk and a very high potential of disruption.
Related topics
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Technology Innovation Institute joins the seL4 Foundation
|
0 | 227 | December 16, 2021 | |
University of Kansas joins seL4 Foundation
|
0 | 109 | October 12, 2023 | |
The seL4 Summit 2022 will be in Munich, Germany, on 10-12 Oct 2022
|
0 | 179 | April 29, 2022 | |
NCSC joins the seL4 Foundation
|
0 | 188 | February 2, 2022 | |
Apple joins the seL4 Foundation
|
0 | 121 | April 29, 2024 |