IA verifica código de segurança do Signal
O CTO do Signal destacou o avanço na proteção. “O uso de agentes de IA para traduzir o código em teoremas válidos é um avanço enorme. À medida que as ameaças de segurança aumentam, ter o protocolo do Signal verificado rigorosamente nos dá ainda mais confiança nas garantias de privacidade do nosso código”, afirmou Ehren Kret, diretor de tecnologia do app.
Signal vs. WhatsApp: embora ambos utilizem o protocolo de criptografia Signal para proteger o conteúdo das mensagens, o Signal é mantido por uma fundação sem fins lucrativos. Já o WhatsApp pertence à Meta e coleta dados de uso, lista de contatos e conexões para fins operacionais e comerciais.
Os aplicativos cumprem a mesma função no dia a dia: a troca de mensagens. Mas, o Signal é considerado mais seguro exatamente por não coletar dados de uso nem metadados dos usuários, diferente do WhatsApp.
Como a IA do Google testou o aplicativo
O sistema realiza uma ‘verificação formal’ do código. Em vez de apenas simular ataques de hackers, a IA traduz o programa para equações matemáticas rigorosas em uma linguagem chamada Lean, garantindo que não existam falhas lógicas.
Os pesquisadores desafiaram a ferramenta com falhas reais. Para confirmar que a IA não cometeria erros, a equipe inseriu dois problemas antigos já corrigidos em uma versão isolada do Signal. O sistema detectou os erros e provou que aquela versão específica era vulnerável.
