Threema. Formaler Sicherheitsbeweis des IBEX Kommunikationsprotokoll

[nomain]

Deutsche Forscher liefern den Beweis für die Sicherheit des Ibex-Protokoll. Threemas Sicherheit steht auf grundsolidem Fundament.

Sicherheitsbeweis von Threemas Kommunikationsprotokoll

Analysis
Security of Ibex
By Dr.-Ing. Paul Gerhart, Prof. Dr. Paul Rössler & Prof. Dr. Dominique Schröder
July 30, 2023
security_analysis_ibex_2023.pdf

Daumen hoch!