De acordo com pt.wedoany.com-A empresa americana American Binary anunciou que todos os 120 atributos de segurança do MaxKyber, protocolo de rede central do seu produto VPN empresarial Ambit Client, receberam certificação independente, verificada por terceiros como estando em conformidade com todos os requisitos do "Conjunto de Algoritmos de Segurança Nacional Comercial 2.0" (CNSA 2.0). A verificação foi realizada por especialistas seniores dos meios académico e industrial, Dr. Joe Kiniry, PhD, e Dr. Tom Shrimpton, PhD, através de uma revisão privada exaustiva das suas provas simbólicas (Tamarin + ProVerif) e documentação de engenharia. Ambos os especialistas possuem longas carreiras na academia e na indústria, tendo atuado como cientistas-chefe na Galois.
Num contexto em que as ameaças quânticas emergem e as soluções ainda não estão comprovadas, esta verificação formal de terceiros distingue o MaxKyber de soluções tradicionais ou híbridas, oferecendo certeza para a implementação de engenharia e conformidade com requisitos de segurança nacional. O MaxKyber oferece segurança pós-quântica abrangente e de longo prazo, diferenciando-se de soluções temporárias de curto prazo, como as abordagens híbridas. Este resultado marca uma transição da segurança especulativa para uma base resiliente, comprovada e demonstrável, estabelecendo um novo padrão global para comunicações seguras.
A American Binary também contratou Whitfield Diffie, vencedor do Prémio Turing da ACM, pioneiro em criptografia e coinventor da troca de chaves Diffie-Hellman, como consultor-chave. Diffie junta-se aos atuais consultores de criptografia Bruce Schneier e Brian LaMacchia.
Os pilares de segurança críticos da certificação MaxKyber incluem: resistência a ataques "Harvest Now, Decrypt Later" (HNDL), protegendo dados atuais contra descriptografia por adversários quânticos através do uso exclusivo de algoritmos CNSA 2.0, incluindo ML-KEM-1024 sem qualquer variante clássica de troca de chaves; verificação simbólica abrangente, cobrindo 120 atributos de segurança em 11 categorias-chave; e estabilidade arquitetónica, enraizada em padrões de design comprovados e operacionalmente fiáveis.
Esta arquitetura de segurança fundamental traz quatro impactos-chave. Impacto um: Segurança clara e mitigação de "Harvest Now, Decrypt Later". O MaxKyber alcança pureza final na criptografia pós-quântica através do uso exclusivo de troca de chaves pós-quântica CNSA 2.0, substituindo a troca de chaves Diffie-Hellman por operações ML-KEM-1024. O MaxKyber utiliza exclusivamente algoritmos aprovados pelo CNSA 2.0, especificamente ML-KEM-1024 (FIPS 203), AES-256-GCM e SHA-512/256, oferecendo o mais alto nível de segurança atualmente disponível.
Impacto dois: Desempenho otimizado, desde ambientes móveis e com perda de pacotes até cenários de alto desempenho. O MaxKyber otimiza a eficiência através de "Autenticação de Troca de Chaves" (AKE), realizando autenticação bidirecional numa única ida e volta, reduzindo significativamente a carga de dados na rede. Quantitativamente, em comparação com soluções subótimas, o AKE economiza cerca de 4.600 bytes por handshake. Um parceiro realizou testes de referência com o Ambit Client utilizando MaxKyber e descobriu que as velocidades de download eram 70% mais rápidas do que VPNs empresariais com criptografia clássica comparáveis. Além disso, o MaxKyber é adequado para cenários de alto desempenho, como cargas de trabalho de IA, processamento de modelos 3D, etc., beneficiando do processamento de pacotes vetoriais e do Kit de Desenvolvimento de Plano de Dados, reduzindo a sobrecarga ao mínimo técnico.
Impacto três: Economia de custos de conformidade. Para CISOs e departamentos jurídicos, a verificação formal oferece uma visão de segurança transparente de "caixa de vidro", além dos testes tradicionais. Para parceiros de integração, as provas simbólicas encurtam significativamente os ciclos de due diligence, permitindo que os parceiros reduzam a fase de investigação necessária para novas implementações criptográficas.
Impacto quatro: Aceleração de P&D. Para equipas de engenharia que desejam integrar ou personalizar a tecnologia, a documentação da American Binary fornece material pré-verificado, exaustivo e de alta qualidade, oferecendo um atalho para integração rápida. A escala da documentação e dos modelos formais fornecidos é sem precedentes na indústria de VPN, permitindo que parceiros de integração economizem meses ou até anos de trabalho de P&D.
A American Binary é uma líder em cibersegurança de tecnologia profunda, focada no desenvolvimento de soluções criptográficas pós-quânticas CNSA 2.0, fornecendo uma base demonstrável para comunicações seguras e resilientes na era quântica.
