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