- Announce - lists.sel4.systems

Call For Presentations for the seL4 Summit 2025
by Announcements about seL4 -- low volume list 17 Feb '25

17 Feb '25

Call For Presentations [0] for the seL4 Summit 2025 [1] - Share your seL4 work - Share your seL4 experience - Share your seL4 thoughts Check the full Call For Presentations [0]. To propose a talk, upload an abstract of one page or less by 21 April 2025 to the submission portal [2]. Also note the open invitation for a 5-minute slot to talk about your seL4 deployment [3]. [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

Location, Dates and Program Committee of the seL4 Summit 2025
by Announcements about seL4 -- low volume list 12 Feb '25

12 Feb '25

We are pleased to announce that the seL4 Summit 2025 [0] will be held in **Prague, Czech Republic, 3 - 5 September 2025.** **Meet the Program Committee** [1] Our team comes from various parts of the seL4 ecosystem: users, contributors, committers, experts, advocates, researchers, and engineers. We will announce a Call for Presentations in the coming weeks. Stay tuned! [0] https://sel4.systems/Foundation/Summit/2025/ [1] https://sel4.systems/Foundation/Summit/2025/#summit-pc 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 Cyberagentur as Associate Member
by Announcements about seL4 -- low volume list 22 Jan '25

22 Jan '25

The seL4 Foundation is pleased to welcome Germany’s Cyberagentur as Associate Member, coinciding with the launch of five projects in its research program on an “Ecosystem of formally verified IT – provable cybersecurity (EvIT)”. Two of the projects include work enhancing seL4. The Cyberagentur is joining the seL4 Foundation to underline the importance of this approach for making both highly complex IT systems and critical infrastructures more secure and to attract further supporters. The Cyberagentur funds cybersecurity research projects with a high risk and a very high potential of disruption. https://sel4.systems/news/#member-cyberagentur

1 0

Cyberagentur joins the seL4 Foundation
by Announcements about seL4 -- low volume list 22 Jan '25

22 Jan '25

The seL4 Foundation is pleased to welcome Germany’s Cyberagentur [0] as Associate Member [1], coinciding with the launch [2] of five projects in its research program on an “Ecosystem of formally verified IT – provable cybersecurity (EvIT)”. Two of the projects include work enhancing seL4. The Cyberagentur is joining the seL4 Foundation to underline the importance of this approach for making both highly complex IT systems and critical infrastructures more secure and to attract further supporters. The Cyberagentur funds cybersecurity research projects with a high risk and a very high potential of disruption. [0] https://www.cyberagentur.de/en/ [1] https://sel4.systems/Foundation/Membership/ [2] https://www.cyberagentur.de/presse/ein-meilenstein-fuer-it-sicherheit-in-de… 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

Meet the co-chairs of the seL4 summit 2025
by Announcements about seL4 -- low volume list 04 Dec '24

04 Dec '24

We are thrilled to announce our co-chairs, Nick Spinale and Robbie VanVossen, for the seL4 summit 2025. The next seL4 summit will be held in Europe in Sep/Oct 2025 (location and dates TBC). Nick Spinale is an independent computer security researcher and consultant based in Portland, Oregon. He is involved in many aspects of the seL4 open source ecosystem, including maintaining the Rust language support for seL4 userspace. Before forming Colias Group, he was a part of Arm Research in Cambridge, UK, where he led projects related to virtualization and confidential computing. Robbie VanVossen is a senior systems engineer and the seL4 Technical Lead at DornerWorks. He has been developing embedded virtualization systems and researching embedded security for over a decade. He has been working specifically with seL4 for 10 years and has been heavily involved with improving the ecosystem, especially with user-space hypervisors and support for 64-bit processors. He has a love of the open-source model and is always looking for ways to give back to the open-source community. We look forward to welcoming the community at the seL 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: survey about location
by Announcements about seL4 -- low volume list 20 Nov '24

20 Nov '24

With the great success of the seL4 summit 2024 [0] behind us, we are now looking at the seL4 summit 2025! This should happen around Sep/Oct 2025, and will be held in Europe. We have started investigating options for the location, and would like your feedback. We would greatly appreciate it if you could fill in this very short survey to tell us your opinions: https://form.jotform.com/243076885259874 *Please do so by 29 Nov 2024.* Feel free to forward to anyone you believe may want to attend the summit next year. [0] https://sel4.systems/Foundation/Summit/2024/ 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 videos and slides of the seL4 summit 2024 are available online
by Announcements about seL4 -- low volume list 08 Nov '24

08 Nov '24

Videos of the seL4 summit 2024 [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 2024 a great success! [0] https://sel4.systems/Foundation/Summit/2024/ [1] https://www.youtube.com/@seL4 [2] https://sel4.systems/Foundation/Summit/2024/program [3] https://sel4.systems/Foundation/Summit/2024/abstracts2024 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 2024 Anniversary Panel Session
by Announcements about seL4 -- low volume list 11 Oct '24

11 Oct '24

seL4 summit 2024 Anniversary Panel Session seL4 celebrated three key anniversaries in 2024 [0]. To celebrate these key anniversaries, a special panel will gather at the seL4 Summit 2024 [1] to reflect on the journey over the past 20 years and discuss the future ahead. The panel will cover the journey from the early days (2004-2009) to the developments over the years (2009-present), and then look to the future, with key players outlining their visions for seL4 in the next 20 years. The panel will be a mix of in-person anecdotes, videos, and quotes, including participants from Collins Aerospace, DARPA, Dornerworks, Kry10, Proofcraft, The University of Melbourne and UNSW. Nick Spinale The panel will be moderated by Nick Spinale from Colias Group, LLC. [0] https://sel4.systems/news/2024#sel4-day [1] https://sel4.systems/Foundation/Summit/2024/ 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 NIO, Silver sponsor of the seL4 Summit 2024
by Announcements about seL4 -- low volume list 02 Oct '24

02 Oct '24

Welcome NIO, Silver sponsor of the seL4 Summit 2024 The seL4 Foundation thanks NIO [0] for becoming a Silver sponsor of the seL4 Summit 2024 [1]. 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. [0] https://www.nio.com/ [1] https://sel4.systems/Foundation/Summit/2024/ 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

Lewis & Clark College joins the seL4 Foundation
by Announcements about seL4 -- low volume list 30 Sep '24

30 Sep '24

The seL4 Foundation is pleased to welcome Lewis & Clark College [0] as our latest member [1]. Lewis & Clark is a private, liberal arts college located in the Pacific Northwest of the United States. In our mathematical sciences department, we are pursuing the goal of making single-function connected devices more secure. Towards this end, we are proving a minimal, pure IPv6 networking stack implementation correct. We rely on seL4's infrastructure (i.e., microkernel, microkit, and device driver framework) as well as seL4's methodologies (e.g., proofs verified by Isabelle/HOL). [0] https://www.lclark.edu/ [1] https://sel4.systems/Foundation/Membership/ 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