- Announce - lists.sel4.systems

The seL4 Summit 2022 will be in Munich, Germany, on 10-12 Oct 2022
by Announcements about seL4 -- low volume list 29 Apr '22

29 Apr '22

It is our pleasure to confirm that the seL4 Summit 2022 will be in: Munich, Germany in the week of Oct 10th, 2022 It will be hosted by seL4 Foundation member Hensoldt Cyber. It will be a hybrid in-person/online event (if you'd like to propose a talk to be delivered remotely, please notify it in the submission). Remember that you have until Monday 9th of May 2022 to propose a talk. https://sel4.systems/news/2022 https://sel4.systems/Foundation/Summit/ https://sel4.systems/Foundation/Summit/cfp

1 0

The Call for Presentations for the seL4 summit 2022 is out!
by Announcements about seL4 -- low volume list 30 Mar '22

30 Mar '22

We are calling for proposals to present at the seL4 Summit 2022! Share your seL4 work. Share your seL4 experience. Share your seL4 thoughts. Share your seL4 questions. Check the full Call For Presentations and topics of interest at: https://sel4.systems/Foundation/Summit/cfp To propose a talk, send an abstract of one page or less by Monday 9th of May 2022 to summit(a)sel4.systems. Please do spread the word and also encourage others to submit a talk if you like their work! Thanks, June

1 0

Meet the Program Committee of the seL4 summit 2022
by Announcements about seL4 -- low volume list 18 Mar '22

18 Mar '22

The seL4 Foundation is excited to present the Program Committee for the seL4 summit 2022! https://sel4.systems/news/2022#summit-pc <https://sel4.systems/news/2022#summit-pc> https://sel4.systems/Foundation/Summit/ <https://sel4.systems/Foundation/Summit/> Stay tuned for the Call for Presentation soon! June

1 0

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