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
The seL4 Foundation thanks NIO for becoming our first Gold sponsor of the seL4 Summit 2023.
NIO is a global EV company funded in 2015 and that went public in the U.S. in 2018. NIO emphasizes user experience and technology innovation. NIO is a strong supporter of seL4 and a premium member of the seL4 Foundation. It has been investing heavily on building a full-fledge software platform for modern vehicles based on seL4.
https://www.nio.com/https://sel4.systems/Foundation/Summit/2023/https://sel4.systems/news/2023#sponsor23-nio
If you are interested in sponsoring the seL4 summit 2023, follow:
https://events.linuxfoundation.org/sel4-summit/sponsor/
Cheers
June