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/2022https://sel4.systems/Foundation/Summit/https://sel4.systems/Foundation/Summit/cfp
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
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-foundationhttps://sel4.systems/news/2022#member-ncsc
June
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/>
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
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
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/2021https://github.com/seL4/l4v/tree/master/proof/infoflow#readme
June
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