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

The leading AI company directory, built to boost AI visibility.

DEENFRIT
Product
  • Pricing
  • Directory
  • Industries
  • Trust Score
Company
  • About
  • Contact
  • Legal
© 2026 cohaga AG · All Rights Reserved · St. Gallen, Switzerland · Imprint745,629 companies indexed · Last updated: today
DirectoryAssociations & Interest GroupsNGOs & NPOsKüsnacht ZhseL4 International
seL4 International Logo
Verified· 2 sourcesTrust Score
Summary

About the company

seL4 International is an organization centred on the seL4 microkernel, a formally verified operating-system kernel. The website covers seL4 development, verification, documentation, use, and ecosystem support, including community and commercial services.

AI-generated
Offering

Products & services

Industry:NGOs & NPOsResearch & Development
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
No score yet

seL4 International

Scientific & Technical Clubs
Software Development
✓ Offered5
Verified Microkernel (seL4)
Verified operating-system microkernel for safety- and security-critical systems with formal mathematical verification, strong isolation, controlled communication and platform support.
Formal Verification
Formal proof development for the seL4 kernel and related components, including security, integrity and confidentiality proofs and implications for certification.
Documentation and Learning Materials
Manuals, tutorials, documentation, white papers, fact sheets, FAQs and learning materials for using and building systems on seL4.
Open Source Foundation and Governance
Coordination, steering and standardisation of the seL4 ecosystem through the Foundation, Board and Technical Steering Committee, plus membership and governance documents.
Commercial Support for seL4
Commercial support, consulting and development support through endorsed providers for kernel work, platform ports, operating-system components, applications and verification.
Trust & reputation

ranQ Trust Score of seL4 International

Trust Score

No score yet

x

A published score requires a data basis of at least 50% and data from at least two criteria groups other than identity. Missing evidence: Review quality, Review volume, Review recency, Website authority, Media authority

Data basis 50% · As of October 2026

seL4 International has no value in the Reputation area of the ranQ Trust Score because no data is available. The area carries 42% of the weighting and drops out of the calculation for this profile; it does not lower the score, only the reported data basis.
x
CriterionValueWeight
  • Review quality: No data point — the criterion is taken out of the weighting and does not lower the score.—24%
  • Review volume: No data point — the criterion is taken out of the weighting and does not lower the score.—10%
  • Review recency: No data point — the criterion is taken out of the weighting and does not lower the score.—8%
seL4 International scores 47.6 out of 100 points in the Substance area of the ranQ Trust Score. This area carries 28% of the weighting.
x
CriterionValueWeight
  • Establishment: Years since founding or brand launch, logarithmic. The maximum is reached at 15 years.25.012%
  • Company size: The headcount band, researched by ranQ or stated by the company. It is scored in steps rather than by head count, because the data only provides bands.55.07%
seL4 International scores 83.3 out of 100 points in the Identity area of the ranQ Trust Score. This area carries 22% of the weighting.
x
CriterionValueWeight
  • Verification: Official register entry (commercial register with UID or professional-body record, 55 points), confirmed domain (20 points) and confirmed ranQ profile (up to 25 points, depending on completeness).83.322%
seL4 International has no value in the Visibility area of the ranQ Trust Score because no data is available. The area carries 8% of the weighting and drops out of the calculation for this profile; it does not lower the score, only the reported data basis.
x
CriterionValueWeight
  • Website authority: No data point — the criterion is taken out of the weighting and does not lower the score.—4%
  • Media authority: No data point — the criterion is taken out of the weighting and does not lower the score.—4%

The data basis is 50%, below the threshold at which ranQ publishes a score. Evidence is missing for: Review quality, Review volume, Review recency, Website authority, Media authority. As of October 2026.

The Trust Score cannot be bought and is calculated from publicly verifiable data.

Knowledge

No knowledge articles yet

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

Get started
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.

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
Employees
1 to 10
Legal form: Graded by liability and disclosure. The weight is kept small: a sole proprietorship is not a dubious company, it is just liable differently.
73.0
6%
  • Branch offices: Branch offices linked in the commercial register. Having none is normal and costs no points.70.03%
    • Full methodology

    Similar companies

    VR
    Verein revamp-it
    Zurich
    HO
    Haus of Kaisers
    Zurich
    FT
    Fred Tschanz - Stiftung
    Zurich
    FD
    Fondation des Fondateurs
    Zurich
    PF
    Progress Foundation
    Zurich
    MG
    Manja Gideon Stiftung
    Zurich
    VJ
    Verein Jad Lenoar
    Zurich
    US
    UBS Stiftung für Soziales und Ausbildung
    Zurich