Der Open-Source-Schlüssel zu mehr TLS-Sicherheit

Im Rahmen des KoTeBi-Projekts wird eine Open-Source-Software in Form eines Machbarkeits-Demonstrators entwickelt, der als solide Grundlage für weitere Forschung und für die Integration in bestehende Softwarelösungen konzipiert ist.

Der Code des KoTeBi-Projekts ist auf GitHub gehostet und öffentlich einsehbar. Die Repositories gewähren tiefe Einblicke in die Entwicklung des Projekts und werden periodisch aktualisiert.

Für einen Einstieg in die technischen Details der Implementierung finden Sie die offizielle Dokumentation auf tls-anvil.com. Diese Webseite dient als umfassende Informationsquelle und bietet alles, was Entwickler:innen und Forscher:innen benötigen, um den vollen Nutzen aus unserem Machbarkeits-Demonstrator zu ziehen.

Dokumentation

Unsere Forschung im Bereich kombinatorisches Testen von TLS-Anwendungen basiert auf einer wegweisenden Arbeit der Ruhr-Universität Bochum und Universität Paderborn, die auf der USENIX Security Konferenz 2022 vorgestellt wurde. Das dazugehörige Paper erläutert nicht nur den Ansatz des kombinatorischen Testens, sondern erklärt ebenfalls die erste praktische Umsetzung in TLS-Anvil. Als eine erste Anwendung von TLS-Anvil wurde anschließend eine Analyse von 13 verschiedenen TLS-Bibliotheken durchgeführt und die Ergebnisse in dem Paper beschrieben. Das vollständige Paper steht hier als PDF zur Verfügung.

>>> TLS-Anvil: Adapting Combinatorial Testing for TLS Libraries