Automated security analyses of the TLS ecosystem

Das Transport Layer Security (TLS) Protokoll gehört zu den am weitesten verbreiteten kryptographischen Protokollen, insbesondere durch seine Rolle bei der Absicherung von Daten über HTTPS. TLS verfolgt dabei das Ziel, Vertraulichkeit, Authentizität und Integrität der übertragenen Daten sicherzustellen. Frühere Schwächen im Protokolldesign sowie fehlerhafte Implementierungen haben diese Ziele jedoch in der Vergangenheit gefährdet. Diese Dissertation trägt zu einem tieferen Verständnis des TLS Ökosystems bei, indem automatisierte Techniken entwickelt werden, mit denen TLS Implementierungen untersucht, grundlegende Datensätze erhoben und Schwachstellen identifiziert werden.