Back to results
No. 000113Paris, France

TRUSTINSOFT

Specialty · Service

TrustInSoft offre des solutions de vérification formelle pour des logiciels sans défaut mathématiquement prouvés.

Offering summary

What this provider offers

View full classification

Solutions

No visible item

Services

No visible item

Frameworks and compliance

  • GDPR
  • ISO 27001

Detailed classification is reserved for Premium members.

Evidence and reference points

Qualifications and reference points

CESIN

Declared reference point · type and issuing body are not specified in the available data

Hexatrust

Declared reference point · type and issuing body are not specified in the available data

Issue dates, sources and issuing bodies are shown only when present in the data. Other items are not presented as certifications.

Directories and procurement frameworks

A presence in a directory or a framework is neither a certification nor a qualification.

  • Listed in Cyber Panorama

    Historical listing, matched by website domain against the open data

    Official source
    Validity
    End date not provided

Overview

This overview contains information declared by the provider. Commercial claims are not an assessment by CyberConnect.

TrustInSoft est une entreprise spécialisée dans la cybersécurité, offrant des solutions de vérification formelle pour garantir des logiciels sans défaut mathématiquement prouvés. Leur technologie permet d'éliminer les risques tels que les débordements de tampon et les comportements indéfinis, assurant ainsi une sécurité et une fiabilité robustes.

Expertise et Solutions

L'entreprise propose une gamme complète de solutions incluant l'analyse statique exhaustive, la vérification formelle et l'interprétation abstraite. Leurs technologies permettent aux organisations de sécuriser leurs logiciels embarqués et critiques.

Services

  • Analyse de code Rust
  • Tests de pénétration et audits de sécurité
  • Accompagnement à la conformité des normes de sécurité

Positionnement Marché

Avec une approche basée sur des preuves mathématiques, TrustInSoft se positionne comme un partenaire stratégique pour les entreprises cherchant à renforcer la sécurité et la fiabilité de leurs logiciels.

Classification

Detailed classification is reserved for Premium members.

Internet of ThingsOperational TechnologyGDPRISO 27001+6

Published feedback

Published reviews

To read reviews, contribute at least one approved visible review, or hold an active Premium/Diamond subscription. You can vote and write a review from Privilege without prior reading access.

Share an experience