evolcSign inStart free
Menu

codelabs.ch

Swiss builder of high-assurance security software, including the open-source Muen separation kernel, for high-security customers

Switzerlandcodelabs.chWebsite technologies

+ Add to sales board

Highlights

  • New on EvolcAdded 2026-11-03

About codelabs.ch

codelabs GmbH builds high-assurance IT systems for security-critical use. Its lead project is the Muen Separation Kernel, an open-source security kernel used as a foundation for high-assurance systems. Services include software development for high-security requirements and consulting and project management for IT security projects.

Customers are organisations with high security and high assurance requirements. The company sells software development and consulting services. Its selected projects include Muen, strongSwan, ADHCP, ADNS and Trusted Key Manager.

The company is based in St. Gallen, Switzerland, where its solutions are stated to be made. Its team is described as having over 30 years of expertise in high security system engineering, safe languages, microkernels and component-based systems.

Product: Muen Separation Kernel (open-source) plus software development and security consulting services

Jobs at codelabs.ch

No open positions listed right now.

More cybersecurity companies

  • Futurae

    Authentication, transaction signing and fraud-risk tools for financial institutions and other digital-service providers
    SwitzerlandCybersecurity

  • infoguard.ch

    Managed cybersecurity services and consulting for businesses and critical infrastructure across the DACH region
    SwitzerlandCybersecurity8 open jobs
    New on EvolcRemote-friendly

  • infrawat.ch

    Internet measurement and security research to improve visibility into publicly accessible internet infrastructure
    London, SwitzerlandCybersecurity
    New on Evolc

  • maxg.ch

    VPN client app and subscription keys for individuals on Windows, macOS, Linux, Android, iOS and TV devices, sold via Telegram bot
    Yerevan, SwitzerlandCybersecurity
    New on Evolc

  • molo.ch

    Open-source network traffic analysis and packet-capture software for security teams
    SwitzerlandCybersecurity
    New on Evolc

  • netsolution.ch

    Swiss cybersecurity firm offering vulnerability scans, penetration tests and web application security reviews
    SwitzerlandCybersecurity
    New on Evolc

All cybersecurity companies →

Website technologies

Tools and platforms detected on this company’s website, grouped by purpose. Dates record when Evolc observed them.

Frontend frameworks

  • BootstrapHigh confidence
    First detected
    Last detected
    Last checked
    Detection evidence
  • jQueryHigh confidence
    First detected
    Last detected
    Last checked
    Detection evidence

Hosting

  • ApacheHigh confidence
    First detected
    Last detected
    Last checked
    Detection evidence

Website detection does not establish a paid subscription or company-wide use. Tools loaded after consent or sign-in may be missed. “No longer observed” does not prove the company stopped using a tool.