- Announce - lists.sel4.systems

NCSC joins the seL4 Foundation
by Announcements about seL4 -- low volume list 03 Feb '22

03 Feb '22

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-foundation https://sel4.systems/news/2022#member-ncsc June

1 0

Call for bids to host the seL4 Summit 2022!
by Announcements about seL4 -- low volume list 01 Feb '22

01 Feb '22

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/>

1 0

Interim endorsement for Kry10 as a trusted service provider
by Announcements about seL4 -- low volume list 31 Jan '22

31 Jan '22

Dear seL4 Community On behalf of the seL4 Foundation I’m pleased to announce that we have awarded interim endorsement to Kry10 as a Trusted Service Provider. More information on their services can be found on https://sel4.systems/Foundation/Services/. cheers Birgit --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au seL4 Foundation, birgit(a)sel4.systems 0433 880 571 Mon 9am-5pm Wed 9am-12pm Fri 9am-5pm

1 0

Technology Innovation Institute joins the seL4 Foundation
by Announcements about seL4 -- low volume list 16 Dec '21

16 Dec '21

The seL4 Foundation is pleased to welcome the Technology Innovation Institute. Technology Innovation Institute’s (TII) Secure Systems Research Centre (SSRC) has obtained seL4 Foundation membership that will enable the Centre to participate in and contribute to driving the open source for a robust hypervisor technology. The critical technology will help build a secure software stack for many edge devices, such as secure communicators and drones. Through the membership, TII will research, contribute to and advance next-generation high-end edge device environments that focus on resilience, isolation, trust, and security. https://sel4.systems/news/2021#member-tii <https://sel4.systems/news/2021#member-tii> https://www.tii.ae <https://www.tii.ae/> June

1 0

Proof that seL4 enforces confidentiality established for RISC-V
by Announcements about seL4 -- low volume list 02 Dec '21

02 Dec '21

In July, we announced that the assurance story for seL4 on RISC-V keeps building, with the completion of the proof that seL4 enforces integrity, following the earlier proofs of functional correctness and binary correctness for seL4 on RISC-V. The next step in the assurance stack is now also completed for RISC-V with the proof that seL4 enforces confidentiality, i.e. that seL4 provably enforces information flow control, when it is correctly configured to do so. "This completes the 3 big CIA security properties for seL4 on RISC-V: confidentiality, integrity and availability. While integrity ensures there is no unauthorised interference with private data, confidentiality ensures there is no unauthorised access to private data”, says Gernot Heiser, chair of the seL4 Foundation. We thank Ryan Barry of the Trustworthy Systems group at UNSW, main author of these proofs! We also gratefully acknowledge funding from the Australian Research Council through grant DP190103743 which has enabled this work. The proof is available on GitHub. https://sel4.systems/news/2021 https://github.com/seL4/l4v/tree/master/proof/infoflow#readme June

1 0

Interim endorsement for Proofcraft as a trusted service provider
by Announcements about seL4 -- low volume list 14 Oct '21

14 Oct '21

Dear seL4 Community, On behalf of the seL4 Foundation I’m pleased to announce that we have awarded interim endorsement to Proofcraft for providing commercial support, verification projects, training and consulting on formal verification of seL4 and seL4-based systems. Proofcraft is founded by the verification leaders of seL4 and has unrivalled expertise in this space. See https://sel4.systems/Foundation/Services/ for details. Gernot

1 0

seL4 is safe – don't believe the FUD!
by Announcements about seL4 -- low volume list 28 Sep '21

28 Sep '21

Following CSIRO’s abandoning of Trustworthy Systems (TS) and the seL4 technology TS developed, the seL4 community and the seL4 Foundation have grown a lot. This has led to concerns that the broader participation might have the potential to undermine the integrity of seL4. In my latest blog, I explain why there is no reason for such concern. seL4's open governance and technical leadership is based on technical merit and established trust, not money. Details: https://microkerneldude.wordpress.com/2021/09/28/where-is-sel4-heading/

1 0

Re: Xcalibyte webinar by Gernot Heiser on seL4 on Sep 16, 2021
by Announcements about seL4 -- low volume list 14 Sep '21

14 Sep '21

Please note that the original registration link no longer works outside China. Please use this link instead: http://xcalscan.mikecrm.com/Uw4y9HU Apologies for that. Gernot

1 0

The seL4 Foundation welcomes new member Proofcraft
by Announcements about seL4 -- low volume list 14 Sep '21

14 Sep '21

Founded by the seL4 verification leaders, Proofcraft offers commercial support, verification projects, training and consulting on formal verification in general, and involving seL4 specifically. By applying mathematical machine-checked software verification, Proofcraft increases critical software systems' reliability, safety and security, for a verified future. We are very pleased to welcome Proofcraft to the seL4 Foundation! Gernot

1 0

Xcalibyte webinar by Gernot Heiser on seL4 on Sep 16, 2021
by Announcements about seL4 -- low volume list 10 Sep '21

10 Sep '21

Xcalibyte, a member of the seL4 Foundation, is hosting a webinar on Sep 16, 2021, given by Gernot Heiser, seL4 Foundation Chairman & Scientia Professor, UNSW Sydney, and Yuning Liang, CEO & co-founder, Xcalibyte. The topic will be ‘The seL4 Microkernel: Proved Security for Cyberphysical Systems’. To register: https://www.bagevent.com/event/7771850

1 0