August 2025 - Announce - lists.sel4.systems

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

Thank you Riverside Research, sponsor of the seL4 Summit 2025 reception
by Announcements about seL4 -- low volume list 06 Aug '25

06 Aug '25

The seL4 Foundation thanks Riverside Research [0] for sponsoring the seL4 Summit 2025 reception [1]. Riverside Research recently acquired [2] Cog Systems, a Founding Member [3] of the seL4 Foundation [4]. 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] https://www.riversideresearch.org/ [1] https://sel4.github.io/website_pr_hosting/PR_499/Summit/2025/ [2] https://www.riversideresearch.org/insights/riverside-research-acquires-cog-… [3] https://sel4.systems/Foundation/Membership/ [4] https://sel4.systems/Foundation/ 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 Trusted Computing Center of Excellence™ joins the seL4 Foundation
by Announcements about seL4 -- low volume list 04 Aug '25

04 Aug '25

The seL4 Foundation is pleased to welcome the Trusted Computing Center of Excellence (TCCoE) [0] as Associate Member [1]. The Trusted Computing Center of Excellence™ (TCCoE) not-for-profit organization’s purpose is to lower barriers to adoption and facilitate the principled development and deployment of software and systems for which there is strong evidence of trustworthiness, including use of formal methods. Needs of the U.S. and allied defense, intelligence and security communities are our priorities. A major thrust is seL4®. While our colleagues at the seL4 Foundation focus on the code and formal proofs of the open source seL4® microkernel and closely related artifacts, the TCCoE focuses on curated software distributions (kernel, libraries, drivers, configurations, etc.) as bases of stable supported platforms on which to build trustworthy systems. [0] https://trustedcomputingcoe.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

Panellists for seL4 Summit announced
by Announcements about seL4 -- low volume list 01 Aug '25

01 Aug '25

Panellists for seL4 Summit announced We are very fortunate to welcome five industry leaders to participate at the seL4 Summit 2025 [0], in a session Building a business case for using a verified kernel [1]: Collins Aerospace, DornerWorks, Kry10, NIO, and MEP. The panel will be moderated by Juliana Furgala from MIT Lincoln Laboratory. [0] https://sel4.systems/Summit/2025/ [1] https://sel4.systems/Summit/2025/abstracts2025.html#a-panel 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