The seL4 Foundation thanks TII [0] for becoming a Gold sponsor of the seL4 Summit 2023 [1]. The Technology Innovation Institute’s (TII [0]) Secure Systems Research Centre (SSRC [2]) aims to drive end-to-end security and resilience in cyber-physical and autonomous systems that will ensure safety. The research center adopts an applied research approach, emphasizing practical applications. By employing seL4 as both a microkernel and a hypervisor, SSRC seamlessly aligns its dedication to security with the foundational technology crucial to achieving its objectives. This critical technology forms the cornerstone of secure software stacks for diverse edge devices, including secure communicators and drones. TII’s research not only contributes to but propels the evolution of cutting-edge high-end edge device environments. TII’s SSRC focus centers on resilience, isolation, trust, and security, all with the intention of fostering a more secure digital landscape. Email us at summit@sel4.systems if you are interested in sponsoring the seL4 summit. More on sponsorship here [3]. [0] https://www.tii.ae/ [1] http://localhost:8080/Foundation/Summit/2023/ [2] https://www.tii.ae/secure-systems [3] https://events.linuxfoundation.org/sel4-summit/sponsor/ --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell@unsw.edu.aumailto:birgit.brecknell@unsw.edu.au seL4 Foundation, birgit@sel4.systemsmailto:birgit@sel4.systems 0433 880 571 Mon 9am-5pm Wed 2pm-5pm Fri 9am-5pm