ranQ
ranQ
ranQ
DirectoryIndustriesKnowledgeComparisonsSoon
Sign inCheck visibility
ranQHSG Startup LabelRecognised by the
HSG Startup Label

The first Swiss company directory, built to boost AI visibility.

Product
  • Pricing
  • Directory
  • Industries
Company
  • About
  • Contact
  • Legal
© 2026 cohaga AG · All Rights Reserved · St. Gallen, Switzerland · Imprint742,806 companies indexed · Last updated: today
DirectoryKüsnacht ZhseL4 International
SI
Verified· 1 source

seL4 International

Summary

About the company

The purpose of the association is the conception, development, and implementation of trustworthy open-source software as well as related formal, mathematical proofs, with the primary focus on the conception, development, and implementation of the seL4 microkernel as well as related proofs, frameworks, tools, languages, components, and systems, in accordance with the provisions of these statutes. The association is non-profit. The association is politically neutral.

Commercial register, canton of ZH·As of June 5, 2026View on Zefix
Comparisons

seL4 International in comparison

Soon

Industry comparisons are coming soon

We're preparing industry comparisons that rank seL4 International by reviews, experience and specialisations.

LeadhubOutbound Leads by COHAGA

Looking for direct email addresses and phone numbers?

Leadhub delivers verified contact details and decision-makers from over 750,000 Swiss companies — management, procurement, marketing, HR.

Discover Leadhub

Is this your company?

Claim the company profile of seL4 International to make its contact details visible. With a plan we additionally create and publish industry comparisons, articles and much more.

Secure profile

Location

Hier entsteht die Karte
Seestrasse 39
8700 Küsnacht Zh

At a glance

Legal form
Association
UID
CHE-276.739.771
Founded
2025 · 1 year
Last commercial register change
June 5, 2026

Knowledge

No knowledge articles yet

Once seL4 International has claimed this profile, we'll publish editorial articles and case studies here together.

Get started