There's now a video up of the talk I gave at this year's seL4 Summit, on the status of UNSW's projects to verify Time Protection and Microkit-based userland OS services for the seL4 microkernel:
#sel4summit #seL4 #verification #operatingsystems #microkernel #IsabelleHOL #HOL4 #ITP #modelchecking #formalmethods #formalverification #formal_methods #formal_verification
"seL4 co-habitating the hardware" with untrustworthy firmware: Roman from ETH at the #seL4Summit about real-world hardware
Rob from Trustworthy Systems at the #seL4Summit talks about TS verification work aiming for whole system security
Incremental cyber retrofit at work: Nathan from DornerWorks talks at the #seL4Summit about running ROS on seL4
Ning Qu from Foundation Premium Member NIO talks at the ##seL4Summit about their seL4-based SkyOS, which has been shipping in their latest models since last month
Miki from Trustworthy Systems at the #seL4Summit presenting Pancake, our new systems language with verified compiler, which we're using to implement and verify LionsOS components
Courtney from Trustworthy Systems at the #seL4Summit talking about optimising the synchronisation messages between the asynchronous components of the seL4 device driver framework
We have virtual @tobycmurray here at the panel session talking about seL4's original confidentiality proofs :)
Leigha VanderKlok from DornerWorks reports on experience with the Microkit VMM at the #seL4Summit - tl;dr mostly good, few more things to do
Proud as a peacock watching TSer Ivan delivering his #LionsOS talk at the #seL4Summit from an Arm board running LionsOS
Enjoying the (almost sell-out) crowd at the #sel4Summit, where half the attendees are present odds former #TrustworthySystems people
There'll be two great keynotes at the #seL4Summit:
Sam Leffler from #Google will talk about CantripOS and Gage from UK's #NCSC will discuss assurance activities on seL4. Hope to see you there!
https://sel4.systems/news/2023#summit-2023-keynotes
We're happy to announce that the dates for the #seL4Summit are confirmed: 19–21 September in Minneapolis.
Remember to submit your talk proposal by 24 April: https://lnkd.in/g4ZwKeJi
The submission deadline for the #seL4Summit has been extended by two weeks – to ensure we have definite dates for the Summit before submissions close. You have now until 24 April to propose a talk/session.
Proposals only require an abstract of 1 page max (plus presenter details), see https://lnkd.in/g4kqDJin
The Call for Presentations for the #seL4Summit is out: https://sel4.systems/Foundation/Summit/2023/cfp
Submit your abstract by 10 April!
Meet the Program Committee of the #seL4Summit 2023: https://sel4.systems/Foundation/Summit/2023/#summit-news
Stay tuned for the Call for Presentations that will be out soon
Excited to join other innovators from the world of high assurance at the seL4 Summit 2023 in Minneapolis, Minnesota this fall! 🎉
Our Embedded Software Engineer, Robbie V., is a part of the program committee for this annual international summit -- the perfect opportunity to learn about the world's most highly assured OS kernel, seL4, and connect with the seL4 community. 💡
From sharing exciting developments to learning about the latest progress in seL4 technology, this is an event you won't want to miss! 💥 🚀
Hello World!
Here is the seL4 Foundation providing updates on what is happening in the seL4 ecosystem.
To find out more about seL4, check out https://sel4.systems.
In particular, you may be interested in watching some of the great talks from the #seL4Summit, held in Munich in October: https://sel4.systems/Foundation/Summit/
