- Announce - lists.sel4.systems

Fraunhofer AISEC joins the seL4 Foundation
by Announcements about seL4 -- low volume list 28 Jan '26

28 Jan '26

The seL4 Foundation [0] is pleased to welcome the Fraunhofer Institute for Applied and Integrated Security AISEC as our latest Associate Member [1]. Fraunhofer AISEC [2] is considered one of the world-leading institutions for applied research in cybersecurity. Around 230 highly qualified researchers develop customized security concepts and solutions for commercial businesses and the public sector, boosting the overall competitiveness of clients and partners. Fraunhofer AISEC designs solutions for enhanced data security and effective defense against cybercrimes such as corporate espionage and tampering attacks. The institute's portfolio ranges from embedded and hardware security, automotive and mobile security to security solutions for industry and automation. Fraunhofer AISEC is exploring the use of the seL4 microkernel and its ecosystem to build strictly separated, resilient embedded and IoT systems. [0] https://sel4.systems/Foundation/ [1] https://sel4.systems/Foundation/Membership/ [2] https://www.aisec.fraunhofer.de/en.html 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

Call For Presentations for the seL4 Summit 2026
by Announcements about seL4 -- low volume list 23 Jan '26

23 Jan '26

You can now submit a proposal [0] for the seL4 Summit 2026, to be held in Vancouver September 1-3. **NEW!** The 2026 edition of the seL4 summit will feature a **full first day** dedicated to **applications, overviews, and perspectives** on seL4-based systems and formally verified software in the real world. This will be followed by Days 2 and 3 focusing on more technical development, research, reports, and discussions. We are particularly keen to **welcome people who are new to seL4** or still developing their familiarity with the technology. The event will offer an **ideal opportunity to gain a high-level view of the landscape and ecosystem** of seL4 and its associated tools, frameworks and languages, as well as formally verified software in general, and to take stock of the latest updates.The program includes a wide range of seL4-related themes and topics: Themes - visions, lessons-learned, roadmaps for verified software deployments - use-cases, deployments, experiences - walk-throughs and demos of tools, frameworks, systems - early work, crazy ideas, out-of-the-box thinking - technical progress, updates, breakthroughs Topics - seL4 experience reports - seL4 and assurance - seL4 on-going and planned R&D, mature of early stage - seL4 and hardware Check the full Call For Presentations [0]. To propose a talk, upload an abstract of one page or less by **20 April 2026** to the submission portal [1]. [0] https://sel4.systems/Summit/2026/cfp.html [1] https://form.jotform.com/260147181364858 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

Riverside Research joins the seL4 Foundation
by Announcements about seL4 -- low volume list 19 Jan '26

19 Jan '26

The seL4 Foundation is pleased to welcome Riverside Research [0] as an Associate Member [1]. Riverside Research acquired Cog Systems, a founding member of the seL4 Foundation in 2025 and continues their work using seL4 within High Assurance systems. Riverside Research is a national security nonprofit serving the DOD and Intelligence Community. Through the company's Open Innovation Center (OIC), it invests in multidisciplinary research and development and encourages collaboration. Riverside Research's areas of expertise include Object and Activity Detection; Accelerated AI/ML; Zero Trust; Open Architectures; Computational Electromagnetics; Plasma Physics; Precision Timing; Terahertz Imaging; Commercial Intelligence, Surveillance, and Reconnaissance (ISR); Collection Planning; and more. Learn more at www.riversideresearch.org [0]. [0] https://www.riversideresearch.org/ [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

Location, Dates and Program Committee of the seL4 Summit 2026
by Announcements about seL4 -- low volume list 15 Dec '25

15 Dec '25

We are pleased to announce that the seL4 Summit 2026 [0] will be held in Vancouver, Canada, 1 - 3 September (informal social activities on 31 August). Meet the Program Committee Our team comes from various parts of the seL4 ecosystem: users, contributors, committers, experts, advocates, researchers, and engineers. - Robbie Vanvossen (co-chair) https://www.linkedin.com/in/robbie-vanvossen-gr/ - Lucy Fletcher (co-chair) https://www.linkedin.com/in/lucy-fletcher-13a484253/?utm_source=share&utm_c… - Adam https://www.ncsc.gov.uk/ - Corey Lewis https://trustworthy.systems/people/?cn=Corey+Lewis - David Cock https://neutrality.ch/people/ - David Hardin https://loonwerks.com/people/david-hardin.html - Gernot Heiser https://trustworthy.systems/people/?cn=Gernot+Heiser - Juliana Furgala https://www.ll.mit.edu/biographies/juliana-furgala - Leigha VanderKlok https://www.linkedin.com/in/leigha-vanderklok-b5038a166/ - Lesley Rossouw https://www.linkedin.com/in/lesley-rossouw-a6ab451b6/ - Martin Dehnel-Wild https://www.linkedin.com/in/mpdehnel/ - Nick Spinale https://nickspinale.com/ [0] https://sel4.systems/Summit/2026/ 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

Trustworthy Systems releases LionsOS-based firewall as a community project
by Announcements about seL4 -- low volume list 14 Nov '25

14 Nov '25

Dear seL4 Community, The Trustworthy Systems group is pleased to announce the release of a new community project for extending a proof-of-concept LionsOS-based firewall in the hope of turning it into a deployable system. More details at https://trustworthy.systems/news/#lionsos_firewall_release_25 Have fun! Gernot PS: Please ignore lawyerese below – out of my control :-( This email and any files transmitted with it may contain confidential information. If you believe you have received this email or any of its contents in error, please notify me immediately by return email and destroy this email. Do not use, disseminate, forward, print or copy any contents of an email received in error.

1 0

Genode Sculpt runs on seL4
by Announcements about seL4 -- low volume list 12 Nov '25

12 Nov '25

Genode Sculpt runs on seL4 Genode Labs have released Sculpt OS 25.10 [0] with an (unofficial and experimental) variant running on seL4. Sculpt is a general-purpose OS that combines Genode's microkernel architecture, capability-based security, sandboxed device drivers, and virtual machines in a novel operating system for commodity PC hardware and the PinePhone. Sculpt is used as day-to-day OS by the Genode developers. [0] https://genodians.org/alex-ab/2025-11-02-sculpt-multi-kernel 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

Next summit will be in Vancouver! Meet its co-chairs
by Announcements about seL4 -- low volume list 07 Nov '25

07 Nov '25

Next summit will be in Vancouver! Meet its co-chairs We are thrilled to announce our co-chairs, Lucy Fletcher and Robbie VanVossen, for the seL4 summit 2026, which will be held in Vancouver, late August - early September (dates TBC). Lucy Fletcher Software Engineer, Apple [0] Lucy Fletcher is a software engineer at Apple based in Sydney, Australia, working on L4 microkernels and the surrounding ecosystems. Before joining Apple, she studied Computer Science at UNSW and worked with the Trustworthy Systems group, where she focused on the design and development of the seL4 device driver framework. Lucy is passionate about giving back to the seL4 community and supporting its continued growth. Robbie VanVossen seL4 Technical Lead, DornerWorks [1] Robbie VanVossen is an employee of DornerWorks, has 12 years of experience in embedded hypervisors, and 10 years of experience with the seL4 microkernel. His work and leadership led to the development of aarch64 virtualization support across the seL4 ecosystem, both in the microkernel and the user-space libraries. He has also developed multiple projects using the Rust language, including embedded implementations of device drivers and applications. He has strong interests in embedded security, virtualization, seL4, and Rust. We look forward to welcoming the community at the seL4 summit 2026! [0] https://www.apple.com/ [1] https://www.dornerworks.com/ 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 2026: location survey
by Announcements about seL4 -- low volume list 20 Oct '25

20 Oct '25

After wrapping up a successful seL4 summit 2025 [0], we are now preparing for the seL4 summit 2026! The summit be in Canada, around Sep 2026. We have started investigating options for cities, 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/252117628736865 *Please do so by 26 Oct 2025.* Feel free to forward to anyone you believe may want to attend the summit next year. [0] 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 1

The videos and slides of the seL4 Summit 2025 are available online
by Announcements about seL4 -- low volume list 17 Sep '25

17 Sep '25

Videos of the seL4 Summit 2025 [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 2025 a great success [4]! [0] https://sel4.systems/Summit/2025/ [1] https://www.youtube.com/@seL4 [2] https://sel4.systems/Summit/2025/program.html [3] https://sel4.systems/Summit/2025/abstracts2025.html [4] https://sel4.systems/Summit/2025/#gallery 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

Check out the seL4 summit 2025 program and abstracts
by Announcements about seL4 -- low volume list 08 Aug '25

08 Aug '25

Check out the seL4 summit 2025 program and abstracts We have an exciting line-up of speakers [0] and talks [1] for the seL4 summit 2025 [2]. There will be a wide variety of presentations, including technical discussions, research and development, and experience reports of seL4 in the field. Register here [3] for the seL4 summit 2025. We look forward to seeing you in Prague, in September! [0] https://sel4.systems/Summit/2025/program.html [1] https://sel4.systems/Summit/2025/abstracts2025.html [2] https://sel4.systems/Summit/2025 [3] 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