Announce

Download

announce@sel4.systems

January 2025

1 participants
2 discussions

Welcome Cyberagentur as Associate Member
by Announcements about seL4 -- low volume list 22 Jan '25

22 Jan '25

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. https://sel4.systems/news/#member-cyberagentur

1 0

Cyberagentur joins the seL4 Foundation
by Announcements about seL4 -- low volume list 22 Jan '25

22 Jan '25

The seL4 Foundation is pleased to welcome Germany’s Cyberagentur [0] as Associate Member [1], coinciding with the launch [2] 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. [0] https://www.cyberagentur.de/en/ [1] https://sel4.systems/Foundation/Membership/ [2] https://www.cyberagentur.de/presse/ein-meilenstein-fuer-it-sicherheit-in-de… Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit(a)sel4.systems <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

1 0