Whatsapp, Signal und Co.: Deepmind-KI liefert Beweis f�r Signal-Verschl�sselung

Die von Deepmind entwickelte Methode k�nnte den mathematischen Beweis f�r Softwaresicherheit deutlich vereinfachen. (KI, Google)