September 2021 - Announce - lists.sel4.systems

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