Home of the Muen Separation KernelFind Out More
We are a Swiss technology company dedicated to building robust IT systems that require the highest level of safety and security. Our team has over 30 years of expertise in the challenging fields of high security system engineering, safe languages, microkernels and component-based systems.
The leading project of codelabs is the Muen Separation Kernel (SK), an Open Source security kernel which serves as a foundation for engineering high assurance systems with our customers.Muen Project Page
Software development services for high security and high assurance demands.
Consulting and project management of IT security projects.
More than 30 years of expertise in the high security domain.
Located in the beautiful city of St. Gallen, codelabs solutions are 100% made in Switzerland.
+41 71 571 08 16