Pela primeira vez, Google usa IA para provar segurança de criptografia
Pesquisadores do Google DeepMind conseguiram usar inteligência artificial (IA) para realizar a verificação formal da segurança das mensagens do Signal. A conquista marca a primeira vez que sistemas automatizados ajudam a criar uma prova matemática que liga garantias de segurança…
Ler matéria completa em TecMundo ↗
Conteúdo originalmente publicado por TecMundo. O Agregador reúne e organiza manchetes; a matéria completa pertence ao veículo de origem.
:quality(85)/fc29f9aa-e977-4c87-abd3-d4eb0b78efa2.png)
