Accepted Paper zum Journal of Cryptology
In dieser Arbeit wird ein neuer Sicherheitsbeweis für die Version 1.3 des wichtigsten Sicherheitsmechanismus im Internet, Transport Layer Security (TLS), präsentiert. Im Vergleich zu vorherigen Sicherheitsanalysen von TLS 1.3, erreicht diese eine scharfe (tight) Sicherheitsschranke und zeigt damit, dass es grundsätzlich möglich ist TLS effizient einzusetzen, ohne einen gewissen Grad an Sicherheit zu verlieren.