Announce September 2021

announce@sel4.systems

1 participants
4 discussions

by Announcements about seL4 -- low volume list

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 year, 2 months

Re: Xcalibyte webinar by Gernot Heiser on seL4 on Sep 16, 2021

by Announcements about seL4 -- low volume list

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 year, 2 months

The seL4 Foundation welcomes new member Proofcraft

by Announcements about seL4 -- low volume list

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 year, 2 months

Xcalibyte webinar by Gernot Heiser on seL4 on Sep 16, 2021

by Announcements about seL4 -- low volume list

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 year, 2 months

2022

2021

2020

2019

2018

2017

2016

2015

2014

Announce September 2021