Google DeepMind жаңа ЖИ құралы Signal протоколының қауіпсіздігін дәлелдеді
DeepMind зерттеушілері кеңінен қолданылатын шифрлау протоколының дұрыс жұмыс істейтінін формальды түрде растады. Келесі мақсат — бүкіл әлемдегі бағдарламалық жасақтаманы тексеру.