Google DeepMind hat eine bemerkenswerte Leistung erbracht: Eine KI-basierte Methode hat erstmals einen mathematischen Beweis für die Sicherheit des Signal-Verschlüsselungsprotokolls erbracht. Signal ist das Protokoll, das in WhatsApp, Signal und vielen anderen Messaging-Anwendungen für End-to-End-Verschlüsselung eingesetzt wird.
Die Bedeutung dieses Durchbruchs liegt darin, dass bislang solche mathematischen Beweise für komplexe Kryptographie-Systeme sehr aufwändig waren und von Fachleuten manuell geführt werden mussten. Die KI-Methode automatisiert diesen Prozess und macht ihn reproducierbar und effizienter.
Das hat praktische Konsequenzen: Sicherheitsmassnahmen für Kommunikationssysteme können künftig schneller und zuverlässiger nachgewiesen werden. Dies gilt nicht nur für Messaging-Apps, sondern könnte auch auf andere kritische Systeme angewandt werden, bei denen Verschlüsselung eine Rolle spielt.
Für Schweizer Unternehmen und Organisationen ist dies relevant, da sie bei der Einführung von Kommunikationslösungen und Datenschutzmassnahmen vermehrt auf solche formalen Sicherheitsnachweise setzen können. Die von DeepMind entwickelte Methode könnte in Zukunft dazu beitragen, dass die Sicherheit von unternehmenseigener Infrastruktur und sensibler Datenübertragungen effizienter überprüft werden kann. Das trägt zur Compliance mit Regulierungen wie GDPR und NIS2 bei.