Industrie & Cybersécurité
Sécurisation logicielle et infrastructurelle pour systèmes critiques. De la vérification formelle au plus haut niveau de certification Critères Communs (EAL6+).
Les domaines critiques que nous servons
Notre expérience couvre les secteurs où la sécurité et la fiabilité sont vitales.
Automobile
Véhicules connectés, conformité AUTOSAR et systèmes de sûreté critique.
Aéronautique & Défense
Systèmes embarqués et certification pour plateformes de défense.
Infrastructures Critiques
Contrôle industriel, réseaux d'énergie et télécoms.
Certification Samsung EAL6+
Nous avons accompagné Samsung pour l'obtention de la certification EAL6+ d'un microcontrôleur sécurisé, l'un des niveaux d'assurance les plus élevés au monde.
Le Défi
Atteindre EAL6+ nécessite des méthodes formelles rigoureuses pour prouver les propriétés de sécurité.
Notre Contribution
Expertise en vérification formelle tout au long du processus avec l'ANSSI.
Capacités de sécurité
Vérification formelle
Preuve mathématique de correction dépassant les simples tests.
Certification Critères Communs
Accompagnement jusqu'au niveau EAL6+, le plus haut standard.
Audits Smart Contracts
Audit de sécurité et vérification formelle pour éliminer toute faille.
Cycle de vie sécurisé
Implémentation SSDLC, du threat modeling aux bonnes pratiques de code.
Sécurité ICS
Hardening des systèmes de contrôle industriel et environnement OT.
Conformité AUTOSAR
Sécurité logicielle pour véhicules connectés et autonomes.
Problématiques adressées
Systèmes de sûreté critique
Assurer la fiabilité là où l'erreur n'est pas une option.
Atténuation des menaces
Identifier les failles avant exploitation via analyse avancée.
Sécurité Supply Chain
Sécuriser votre chaîne logicielle et les risques tiers.
Support Certification
Obtenir ISO 26262, IEC 61508 et EAL6+.
