Signal

Výzkumníci z Google DeepMind, divize společnosti Alphabet Inc., využili nový rámec umělé inteligence s názvem AlphaProof Code k matematickému prokázání několika hlavních kryptografických záruk protokolu Signal. Čtyřtýdenní projekt typu proof-of-concept neodhalil žádné nové zranitelnosti v částech protokolu, které zkoumal, informoval…