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