
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-s... [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@sel4.systems <mailto:birgit@sel4.systems> bbrcknl@gmail.com <mailto:bbrcknl@gmail.com>