The videos and slides of the seL4 summit 2023 are available online
Videos of the seL4 summit 2023 [0] are now available on the seL4 YouTube channel [1]! Links and slides can be found on the summit Program [2] and Abstracts [3] pages. Thanks to all the speakers for making the seL4 summit 2023 a great success!
[0] https://sel4.systems/Foundation/Summit/2023
[1] https://www.youtube.com/@seL4
[2] https://sel4.systems/Foundation/Summit/2023/program
[3] https://sel4.systems/Foundation/Summit/2023/abstracts
---
Birgit Brecknell
Project Coordinator, seL4 Foundation
birgit(a)sel4.systems<mailto:birgit@sel4.systems>
birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>
Mon 9am-5pm
Wed 2pm-5pm
Fri 9am-5pm
University of Kansas joins seL4 Foundation
The seL4 Foundation is pleased to welcome The University of Kansas [0] as Associate Member [1]. KU has collaborated with a number of seL4 Foundation members along the years, including in the DARPA CASE project, which produced a set of formal methods tools that can be applied throughout the design and build process to create seL4-based high-assurance cyber-resilient systems.
[0] https://ku.edu/
[1] https://sel4.systems/Foundation/Membership/
---
Birgit Brecknell
Project Coordinator, seL4 Foundation
birgit(a)sel4.systems<mailto:birgit@sel4.systems>
birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>
Mon 9am-5pm
Wed 2pm-5pm
Fri 9am-5pm
Thanks NIO for sponsoring the seL4 Summit 2023 reception and dinner
The seL4 Foundation thanks NIO [0] for sponsoring both the reception and dinner for the seL4 Summit 2023 [1]. NIO is also a gold sponsor [2] of the summit.
Email us at summit(a)sel4.systems if you are interested in sponsoring the seL4 summit. More on sponsorship here [3].
[0] https://www.nio.com/
[1] https://sel4.systems/Foundation/Summit/2023/
[2] https://sel4.systems/news/2023#sponsor23-nio
[3] https://events.linuxfoundation.org/sel4-summit/sponsor/
---
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 2pm-5pm
Fri 9am-5pm
Panellists for seL4 summit announced
We are very fortunate to welcome five industry leaders to participate at the seL4 Summit 2023 [0], in a session OS on seL4: so many options! [1]. Gapfruit, Kry10, Magnetite (MIT), and UNSW will present their views on the priorities and vision for their OS on seL4. The panel will be moderated by Todd Carpenter from Galois.
[0] https://sel4.systems/Foundation/Summit/2023/
[1] https://events.linuxfoundation.org/sel4-summit/program/schedule/
---
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 2pm-5pm
Fri 9am-5pm
The seL4 Foundation thanks TII [0] for becoming a Gold sponsor of the seL4 Summit 2023 [1].
The Technology Innovation Institute’s (TII [0]) Secure Systems Research Centre (SSRC [2]) aims to drive end-to-end security and resilience in cyber-physical and autonomous systems that will ensure safety. The research center adopts an applied research approach, emphasizing practical applications. By employing seL4 as both a microkernel and a hypervisor, SSRC seamlessly aligns its dedication to security with the foundational technology crucial to achieving its objectives. This critical technology forms the cornerstone of secure software stacks for diverse edge devices, including secure communicators and drones. TII’s research not only contributes to but propels the evolution of cutting-edge high-end edge device environments. TII’s SSRC focus centers on resilience, isolation, trust, and security, all with the intention of fostering a more secure digital landscape.
Email us at summit(a)sel4.systems if you are interested in sponsoring the seL4 summit. More on sponsorship here [3].
[0] https://www.tii.ae/
[1] http://localhost:8080/Foundation/Summit/2023/
[2] https://www.tii.ae/secure-systems
[3] https://events.linuxfoundation.org/sel4-summit/sponsor/
---
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 2pm-5pm
Fri 9am-5pm
1 week left to get the early-bird registration at the seL4 summit!
A friendly reminder that the early bird cut-off date is 18 August 2023.
Tickets include:
- Participation in the 3-day conference, including talks, keynotes, seL4 updates & discussions
- Networking with other seL4 experts and enthusiasts
- Reception and Dinner
Check out our exciting line-up of speakers: https://sel4summit2023.sched.com/
Registrations: https://events.linuxfoundation.org/sel4-summit/register/
Please note that the hotel block ends on 27 Aug 2023
seL4 summit 2023: https://sel4.systems/Foundation/Summit/2023/
---
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 2pm-5pm
Fri 9am-5pm
2 weeks left to get the early-bird registration at the seL4 summit!
A friendly reminder that the early bird cut-off date is 18 August 2023.
Tickets include:
- Participation in the 3-day conference, including talks, keynotes, seL4 updates & discussions
- Networking with other seL4 experts and enthusiasts
- Reception and Dinner
Registrations: https://events.linuxfoundation.org/sel4-summit/register/
seL4 summit 2023: https://sel4.systems/Foundation/Summit/2023/<https://sel4.systems/Foundation/Summit/2023/>
---
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 2pm-5pm
Fri 9am-5pm
The seL4 Foundation thanks Kry10 [0] for becoming a Gold sponsor of the seL4 Summit 2023 [1].
Kry10 offers a full-featured operating system on top of the seL4 kernel, along with tooling, services, key management and more. The Kry10 Platform is a fast and easy way to build highly secure, next-generation cyber-physical devices. It leverages the verification of seL4 to provide a secure, self-healing, truly dynamic system with minimal downtime, even during upgrades.
Kry10 is an Endorsed Service Provider [2] of the seL4 Foundation, offering support to enable seL4-based secure projects to be affordable, maintainable, and remotely manageable.
See here [3] if you are interested in sponsoring the seL4 summit 2023.
[0] https://www.kry10.com/
[1] https://sel4.systems/Foundation/Summit/2023/
[2] https://sel4.systems/Foundation/Services/
[3] https://events.linuxfoundation.org/sel4-summit/sponsor/
---
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 2pm-5pm
Fri 9am-5pm
The seL4 Foundation thanks Collins Aerospace for becoming a Silver sponsor of the seL4 Summit 2023.
Collins Aerospace, part of seL4 Foundation member Raytheon Technologies, has been a long-time core participant in the seL4 ecosystem. It was a prime contractor in the DARPA HACMS program, which demonstrated the seL4-based incremental cyber retrofit of autonomous military vehicles. This was a major milestone in the growth of seL4, demonstrating that it protects against cyber attacks on real systems in operation. The same team also led the follow-on DARPA CASE program, aiming at designed-in cyber-resiliency, including the seL4-based framework for verified initialisation and configuration of systems architectures.
The seL4 Summit 2023 will take place in Minneapolis, home town of this Collins Aerospace team involved in seL4.
https://www.collinsaerospace.com/https://sel4.systems/Foundation/Summit/2023/https://sel4.systems/news/2023#sponsor23-collins
If you are interested in sponsoring the seL4 summit 2023, follow:
https://events.linuxfoundation.org/sel4-summit/sponsor/
Cheers
June