Membership in the seL4 Foundation / 2026
Fraunhofer AISEC Strengthens Verifiably Secure IT Systems for Industry and Critical Infrastructure
Advances in agentic AI are making it increasingly easy for attackers to find and exploit vulnerabilities in software. The Fraunhofer Institute for Applied and Integrated Security AISEC is therefore joining the seL4 Foundation and conducting research into the use of the formally verified seL4 microkernel as the foundation for provably secure systems. An ini-tial focus is on virtual machines and confidential computing.
more info
Fraunhofer Institute for Applied and Integrated Security