May 2025 - Announce - lists.sel4.systems

Thank you Proofcraft, Silver sponsor of the seL4 Summit 2025
by Announcements about seL4 -- low volume list 20 May '25

20 May '25

Thank you Proofcraft, Silver sponsor of the seL4 Summit 2025 The seL4 Foundation thanks Proofcraft [0] for becoming a Silver sponsor of the seL4 Summit 2025 [1]. Founded by the seL4 verification leaders, Proofcraft [0] offers commercial support and projects in formal verification in general, and involving seL4 specifically. By applying mathematical machine-checked software verification, Proofcraft increases critical software systems’ reliability, safety and security, for a verified future. See here [2] if you are interested in sponsoring the seL4 Summit 2025 [1]. [0] https://proofcraft.systems/ [1] https://sel4.systems/Summit/2025/ [2] https://events.linuxfoundation.org/sel4-summit/sponsor/ Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit(a)sel4.systems <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

1 0

Thank you UNSW, Bronze sponsor of the seL4 Summit 2025
by Announcements about seL4 -- low volume list 18 May '25

18 May '25

The seL4 Foundation thanks UNSW Sydney [0] for becoming a Bronze sponsor of the seL4 Summit 2025 [1]. seL4 was created by the Trustworthy Systems (TS) team [2], which is now part of the UNSW [0], a founding member of the seL4 Foundation. The team has a track record of designing and implementing systems software for performance and reliability, and using rigorous formal methods to prove that they meet their security and reliability goals. Their aims are to: - shift the software industry away from ad-hoc, unreliable engineering practices, and towards more principled and trustworthy methods; and - make verified software a default choice, especially in safety- and security-critical systems. The team works with government and commercial partners, as well as the broader software engineering community, to drive this change. See here [3] if you are interested in sponsoring the seL4 Summit 2025. [0] https://www.unsw.edu.au/ [1] https://sel4.systems/Summit/2025/ [2] https://trustworthy.systems/ [3] https://events.linuxfoundation.org/sel4-summit/sponsor/ Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit(a)sel4.systems <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

1 0

Welcome Collins, Bronze sponsor of the seL4 Summit 2025
by Announcements about seL4 -- low volume list 01 May '25

01 May '25

The seL4 Foundation thanks Collins Aerospace [0] for becoming a sponsor of the seL4 Summit 2025. Collins Aerospace has generously sponsored the seL4 summit every year since 2023. Collins Aerospace [0], part of seL4 Foundation member RTX [1], has been a long-time core participant in the seL4 ecosystem. Collins 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. Collins Aerospace is now leading a team on the DARPA PROVERS program which has a goal of enhancing the security of defense and aerospace systems by dramatically improving the usability, flexibility, and accessibility of formal methods-based development and verification tools, and targeting seL4 as an implementation platform. See here [2] if you are interested in sponsoring the seL4 Summit 2025 [3]. [0] https://www.collinsaerospace.com/ [1] https://www.rtx.com/ [2] https://events.linuxfoundation.org/sel4-summit/sponsor/ [3] https://sel4.systems/Summit/2025/ Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit(a)sel4.systems <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

1 0