The seL4 Foundation is pleased to welcome the UK’s National Cyber Security Centre (NCSC)
The NCSC (https://www.ncsc.gov.uk/), the UK’s technical authority on cyber security, uses the seL4 Microkernel to enforce separation in a number of high-assurance situations. The government organisation is actively exploring research opportunities to further develop its seL4 use cases. NCSC Technical Director Dr Ian Levy said: "We’re pleased to join the seL4 Foundation. seL4 is some of the most highly assured software and its development plays an important role in the next generation of high-assurance devices. We support the long-term stability of the seL4 microkernel ecosystem and are looking at opportunities to develop our use cases for it."
https://www.ncsc.gov.uk/news/ncsc-joins-the-sel4-foundationhttps://sel4.systems/news/2022#member-ncsc
June
The seL4 Foundation will be organising the fourth edition of the seL4 Summit, in October 2022.
A Program Committee will be in charge of the technical side (more on that soon) and an Hosting Team will be in charge of organising the event.
We are now calling for bids to be the Host team for the seL4 Summit 2022!
Bids should be sent to summit(a)sel4.systems <mailto:summit@sel4.systems> before 22 February 2022.
More information on https://sel4.systems/Foundation/Summit/ <https://sel4.systems/Foundation/Summit/>