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-deu... Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit@sel4.systems <mailto:birgit@sel4.systems> bbrcknl@gmail.com <mailto:bbrcknl@gmail.com>