Google DeepMind usa IA para verificar propriedades de segurança do código do Signal
Entenda o caso
O Google DeepMind usou IA para verificar propriedades de segurança do código do Signal, aplicativo de mensagens conhecido pelos recursos de privacidade, em cerca de quatro semanas. A verificação formal usou o AlphaProof Code e a linguagem Lean, segundo o Olhar Digital. Isso não significa que todo o aplicativo esteja livre de vulnerabilidades. O alcance é limitado: a checagem matemática cobre apenas determinadas propriedades do código. Problemas em outros componentes, falhas de implementação e ataques aos dispositivos dos próprios usuários continuam sendo possibilidades.
Gerada por IA a partir da cobertura · atualizada há 1 dia
Linha do tempo da cobertura
Acompanhe a cobertura e veja os vários lados do caso.
- Latent SpaceGoogle lança o Gemini Decision 1, modelo de decisões para classificação em passagem única
O Google lançou o Gemini Decision 1, modelo que pontua escolhas em passagem única. A API aceita até 1.000 perguntas por requisição, a US$ 0,10 por 1M de tokens de entrada.
- Olhar Digital · IAIA do Google analisa código do Signal em busca de falhas de segurança
O Google DeepMind usou IA para verificar propriedades de segurança do código do Signal em cerca de quatro semanas. Não significa que todo o aplicativo esteja livre de falhas.
Tendência de relevância
Ainda não há observações contínuas suficientes para traçar a tendência.