AlphaProof Code verifica libsignal hasta el código máquina en cuatro semanas

Cuatro semanas bastaron para que Google DeepMind aplicara AlphaProof Code a propiedades de seguridad del código de libsignal, la implementación…

lee más