fr.wedoany.com Rapport : La société américaine American Binary annonce que les 120 propriétés de sécurité du protocole réseau central MaxKyber de son produit VPN d’entreprise Ambit Client ont obtenu une certification indépendante, vérifiée par un tiers comme étant conforme à toutes les exigences de la « Suite d’algorithmes de sécurité nationale commerciale 2.0 » (CNSA 2.0). Cette vérification a été réalisée par des experts chevronnés du monde académique et industriel, le Dr Joe Kiniry et le Dr Tom Shrimpton, via un examen privé approfondi de sa preuve symbolique (Tamarin + ProVerif) et de sa documentation technique. Les deux experts, qui ont mené une longue carrière dans les milieux académiques et industriels, ont notamment occupé le poste de scientifique en chef chez Galois.
Dans un contexte où les menaces quantiques émergent et où les solutions ne sont pas encore éprouvées, cette validation formelle par un tiers distingue MaxKyber des solutions traditionnelles ou hybrides, offrant une certitude quant à la mise en œuvre technique et à la conformité aux exigences de sécurité nationale. MaxKyber offre une sécurité post-quantique complète et durable, contrairement aux solutions temporaires à court terme comme les approches hybrides. Cette réalisation marque un passage d’une sécurité spéculative à une base résiliente, vérifiée et prouvable, établissant une nouvelle référence mondiale pour les communications sécurisées.
American Binary a également signé un contrat avec Whitfield Diffie, lauréat du prix Turing de l’ACM, pionnier de la cryptographie et co-inventeur de l’échange de clés Diffie-Hellman, pour le nommer conseiller clé. Diffie rejoint les conseillers cryptographiques existants Bruce Schneier et Brian LaMacchia.
Les piliers de sécurité clés de la certification MaxKyber incluent : la résistance aux attaques « Collecter maintenant, déchiffrer plus tard » (HNDL), protégeant les données actuelles contre le déchiffrement par des adversaires quantiques grâce à l’utilisation exclusive d’algorithmes CNSA 2.0, y compris ML-KEM-1024 sans aucune variante d’échange de clés classique ; une validation symbolique complète couvrant 120 propriétés de sécurité dans 11 catégories clés ; et une stabilité architecturale, ancrée dans des modèles de conception éprouvés et fiables.
Cette architecture de sécurité fondamentale entraîne quatre impacts clés. Impact un : sécurité claire et atténuation du « Collecter maintenant, déchiffrer plus tard ». MaxKyber atteint une pureté cryptographique post-quantique ultime en utilisant un échange de clés post-quantique pur CNSA 2.0, remplaçant l’échange de clés Diffie-Hellman par des opérations ML-KEM-1024. MaxKyber adopte exclusivement des algorithmes approuvés par CNSA 2.0, à savoir ML-KEM-1024 (FIPS 203), AES-256-GCM et SHA-512/256, offrant le plus haut niveau de sécurité actuellement disponible.
Impact deux : performances optimisées, des environnements mobiles et à perte de paquets aux scénarios à haute performance. MaxKyber optimise l’efficacité grâce à un « échange de clés authentifié » (AKE), réalisant une authentification bidirectionnelle en un seul aller-retour, réduisant considérablement la charge des données réseau. Quantitativement, par rapport aux solutions sous-optimales, l’AKE économise environ 4 600 octets par négociation. Un partenaire a effectué des tests de référence sur Ambit Client avec MaxKyber et a constaté que ses vitesses de téléchargement étaient 70 % plus rapides que celles des VPN d’entreprise à chiffrement classique comparables. De plus, MaxKyber convient aux scénarios à haute performance, tels que les charges de travail d’IA, le traitement de modèles 3D, etc., grâce au traitement vectoriel des paquets et au kit de développement de plans de données, réduisant les frais généraux au minimum technique.
Impact trois : économies de coûts de conformité. Pour les responsables de la sécurité des systèmes d’information (CISO) et les services juridiques, la validation formelle offre une vue de sécurité transparente en « boîte de verre » qui dépasse les tests traditionnels. Pour les partenaires d’intégration, la preuve symbolique réduit considérablement les cycles de diligence raisonnable, permettant aux partenaires de raccourcir la phase de recherche nécessaire pour les nouvelles implémentations cryptographiques.
Impact quatre : accélération de la R&D. Pour les équipes d’ingénierie souhaitant intégrer ou personnaliser cette technologie, la documentation d’American Binary fournit une documentation pré-validée, exhaustive et de haute qualité, offrant une voie rapide pour une intégration rapide. L’ampleur de la documentation et des modèles formels fournis est sans précédent dans l’industrie VPN, permettant aux partenaires d’intégration d’économiser des mois, voire des années, de travail de R&D.
American Binary est un leader de la cybersécurité deep-tech, spécialisé dans le développement de solutions cryptographiques post-quantiques CNSA 2.0, offrant une base prouvable pour des communications sécurisées et résilientes à l’ère quantique.
