Google DeepMind lässt Signal-Verschlüsselung umfassend überprüfen
Google DeepMind hat gemeinsam mit dem Signal-Team einen wichtigen Fortschritt bei der formalen Sicherheitsprüfung von Software erzielt. Mithilfe eines neuen KI-gestützten Verfahrens namens AlphaProof Code gelang es den Forschern, zentrale Sicherheitsgarantien der tatsächlich eingesetzten Signal-Protokollimplementierung mathematisch zu beweisen. Nach Angaben der Beteiligten ist es das erste Mal, dass ein weit verbreitetes kryptografisches Protokoll in dieser […]
Der Beitrag Google DeepMind lässt Signal-Verschlüsselung umfassend überprüfen erschien zuerst auf fosstopia.