Home of the Muen Separation Kernel

Find Out More

About Us

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

At Your Service

Software Development

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.

Made in Switzerland

Located in the beautiful city of St. Gallen, codelabs solutions are 100% made in Switzerland.

Selection of Projects