- Announce - lists.sel4.systems

The seL4 summit Program is available
by Announcements about seL4 -- low volume list 29 Jun '22

29 Jun '22

Have a look at the seL4 summit Program! We have an amazing line-up of cool seL4 work, with a combination of technical research and development, experience reports of seL4 in the field, technical discussions and Birds-of-a-feather sessions, as well as a whole day of seL4 bootcamp with tutorials and training. https://sel4.systems/Foundation/Summit/program <https://sel4.systems/Foundation/Summit/program> Stay tuned for registration information, and see you in Munich in October! June

1 0

LatticeX joins the seL4 Foundation!
by Announcements about seL4 -- low volume list 17 Jun '22

17 Jun '22

The seL4 Foundation is pleased to welcome LatticeX! LatticeX Foundation cultivates academic research, technology advancements and industrial applications in the fields that foster the development of LatticeX ecosystem. LatticeX is the vision of large-scale distributed network supporting the expansive economy activities and broader business applications where users can recognize the sovereignty and privacy of their own data, and leverage the ecosystem of sophisticated computing technologies to collaboratively unearth the value of data and benefit from data-value transactions throughout. Yuning Liang, LatticeX Foundation Security Advisor said: "We are so glad to join seL4 foundation. Hopefully, we can specialise seL4 technology into the web 3.0 domain from cross chain bridge node OS to hardware wallet OS for improving their security and stability." --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 9am-12pm Fri 9am-5pm

1 0

One week left to propose a talk at the seL4 summit 2022!
by Announcements about seL4 -- low volume list 02 May '22

02 May '22

A reminder that you have until Monday 9th of May 2022 to propose a talk for the seL4 Summit 2022 :) http://sel4.systems/news/2022 <http://sel4.systems/news/2022> http://sel4.systems/Foundation/Summit/ <http://sel4.systems/Foundation/Summit/> http://sel4.systems/Foundation/Summit/cfp <http://sel4.systems/Foundation/Summit/cfp>

1 0

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