- Announce - lists.sel4.systems

seL4 summit 2025 early-bird registration ends in 2 weeks
by Announcements about seL4 -- low volume list 18 Jul '25

18 Jul '25

The early bird cut-off date for the seL4 summit 2025 [0] is 3 August 2025. The summit will be held in Prague, Czech Republic, 3 - 5 September 2025. The seL4 summit will cover the complete seL4 ecosystem, consisting of the verified microkernel, as well as all seL4-related technology, tools, infrastructure, products, projects, and people. Tickets include: - Participation in the 3-day conference, including talks, keynotes, seL4 updates & discussions - Networking with other seL4 experts and enthusiasts - Reception Register here [1] A number of informal social activities [2] are also being organised. Check out the list and contact the organiser to register your interest. [0] https://sel4.systems/Summit/2025/ [1] https://events.linuxfoundation.org/sel4-summit/register/ [2] https://sel4.systems/Summit/2025/program.html#social 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

The new seL4 docsite is live!
by Announcements about seL4 -- low volume list 16 Jul '25

16 Jul '25

We are excited to announce the launch of the new seL4 docsite [0]! This redesigned documentation site for the main seL4-related technologies provides a new structure and layout, improved navigation and easier access to information. The docsite content will continue to evolve with updates and maintenance, and we welcome contributions from the community on documentation, tutorials and manuals. We thank NCSC [1] for their funding of this project, which follows their support of the development of the new seL4 website [2]. We welcome your feedback and we hope you enjoy the new site! [0] https://docs.sel4.systems/ [1] https://www.ncsc.gov.uk/ [2] https://sel4.systems/ 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

The seL4 Summit 2025 Program and Keynotes
by Announcements about seL4 -- low volume list 23 Jun '25

23 Jun '25

*The seL4 Summit 2025 Program and Keynotes* Have a look at the program [0] of the seL4 Summit 2025 [1]. We have a great line-up of interesting 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. *Keynotes* We are pleased to announce that the two keynotes for the seL4 Summit 2025 [1] will be John Hatcliff [2] from Kansas State University [3] and Sebastian Jester [4] from Cyberagentur [5]. John will talk about Model-based Development for seL4 Microkit/Rust with Integrated Formal Methods using HAMR [6] and Sebastian about Formally verified IT – Germany’s next cybersecurity paradigm [7]. Dr. John Hatcliff is a University Distinguished Professor and Lucas-Rathbone Professor of Engineering at Kansas State University working in the areas of safety-critical systems, software architectures, and software verification and certification. He leads the Laboratory on Specification, Analysis, and Transformation of Software (SAnToS Lab), whose research has been funded by national funding agencies and companies including Department of Defense, National Science Foundation, DARPA, Department of Homeland Security, US Army, NASA, NIH, ARO, Air Force Office of Scientific Research, SEI, Collins Aerospace, Galois, and Lockheed Martin. Sebastian Jester is Head of Secure Hardware and Supply Chains at the Agentur für Innovation in der Cybersicherheit (Cyberagentur), which he joined in 2022. He is on leave from Germany’s Federal Ministry of Research, Technology and Space, latterly responsible for microelectronics R&D policy at the national and EU level. He holds a doctorate in astronomy from the University of Heidelberg and a Master of Physics from the University of Oxford. The Cyberagentur [5] funds high-risk research and development projects with a high disruptive potential in the field of cybersecurity. The Cyberagentur’s goal is to advance internal and external security and technological sovereignty. It was created in 2020 by the German Federal Government and is funded by the Federal Ministry of Defence and the Federal Ministry of the Interior and Home Affairs. The Cyberagentur is an associate member of the seL4 Foundation. [0] https://sel4.systems/Summit/2025/program.html [1] https://sel4.systems/Summit/2025 [2] https://www.cs.ksu.edu/about/people/faculty/hatcliff/ [3] https://www.k-state.edu/ [4] https://www.linkedin.com/in/sebastianjester/ [5] https://www.cyberagentur.de/ [6] https://sel4.systems/Summit/2025/abstracts2025.html#a-model-based [7] https://sel4.systems/Summit/2025/abstracts2025.html#a-cyberagentur 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 Proofcraft, Silver sponsor of the seL4 Summit 2025
by Announcements about seL4 -- low volume list 21 May '25

21 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 19 May '25

19 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 02 May '25

02 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

seL4 Summit 2025: extended deadline to submit a talk
by Announcements about seL4 -- low volume list 28 Apr '25

28 Apr '25

The deadline to submit a talk [0] for the seL4 Summit 2025 [1] has been extended until 2 May 2025. If you’d like to submit a talk, please upload an abstract of one page or less to the submission portal [2]. **Abstracts are due on 2 May 2025.** Also note the open invitation for a 5-minute slot to talk about your seL4 deployment [3]. The seL4 Summit 2025 will be held 3 - 5 September 2025 at the Grandior Hotel Prague, Prague, Czech Republic. The summit will be an in-person event. Registration and location details are available here [4] [0] https://sel4.systems/Foundation/Summit/2025/cfp [1] https://sel4.systems/Foundation/Summit/2025/ [2] https://form.jotform.com/250436091673861 [3] https://sel4.systems/Foundation/Summit/2025/cfp#sel4-deployment [4] https://events.linuxfoundation.org/sel4-summit/register/ 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

MEP joins the seL4 Foundation
by Announcements about seL4 -- low volume list 18 Apr '25

18 Apr '25

The seL4 Foundation is pleased to welcome MEP [0] as a Member [1]. MEP is a voice communications supplier for Air Traffic and Maritime critical communications worldwide. Its Voice Communication System, the SureVoice Solid [2], runs on seL4 at its heart. MEP has chosen seL4 for process separation to achieve 24/7 availability. [0] https://www.mep-info.com/ [1] https://sel4.systems/Foundation/Membership/ [2] https://www.mep-info.com/products/surevoice-solid 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

Register for the seL4 summit 2025
by Announcements about seL4 -- low volume list 14 Apr '25

14 Apr '25

The seL4 summit 2025 [0] will be held in Prague, Czech Republic, 3 - 5 September 2025. The seL4 summit will cover the complete seL4 ecosystem, consisting of the verified microkernel, as well as all seL4-related technology, tools, infrastructure, products, projects, and people. Tickets include: - Participation in the 3-day conference, including talks, keynotes, seL4 updates & discussions - Networking with other seL4 experts and enthusiasts - Reception and dinner Register here [1] The early bird cut-off date is 3 August 2025. A number of informal social activities will be organised by the seL4 community for Tuesday 2 Sep 2025. Stay tuned for more info! [0] https://sel4.systems/Foundation/Summit/2025/ [1] https://events.linuxfoundation.org/sel4-summit/register/ 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

seL4 Summit 2025: one week to go to submit a talk
by Announcements about seL4 -- low volume list 14 Apr '25

14 Apr '25

One week to go to submit a talk [0] for the seL4 Summit 2025 [1]! If you’d like to submit a talk, please upload an abstract of one page or less to the submission portal [2]. **Abstracts are due on 21 April 2025.** Also note the open invitation for a 5-minute slot to talk about your seL4 deployment [3]. The seL4 Summit 2025 will be held 3 - 5 September 2025 at the Grandior Hotel Prague, Prague, Czech Republic. The summit will be an in-person event. Registration details to follow soon. We’re looking forward to many exciting proposals! [0] https://sel4.systems/Foundation/Summit/2025/cfp [1] https://sel4.systems/Foundation/Summit/2025/ [2] https://form.jotform.com/250436091673861 [3] https://sel4.systems/Foundation/Summit/2025/cfp#sel4-deployment 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