The Open Source Key to more TLS Security

Developing, researching, integrating - combinatorial testing and integrating solutions

KoTeBi Code Dokumentation

Documentation //

Development of KoTeBi

As part of the KoTeBi project, open source software is being developed in the form of a proof-of-concept demo, which is designed as a solid basis for further research and for integration into existing software solutions.

The code of the KoTeBi project is hosted on GitHub and is publicly accessible. The repositories provide deep insights into the development of the project and are updated periodically.

The KoTeBi project is divided into three key parts

Anvil-Core

Contains all basic components for combinatorial testing of network protocols.
GitHub

TLS-Anvil

Is based on Anvil-Core, implements the TLS-Attacker-Framework and enables combinatorial testing of TLS applications.
GitHub

X.509-Anvil

Based on Anvil-Core, this part enables combinatorial testing of X.509 certificate applications.
GitHub

Quick Start and Documentation

For an introduction to the technical details of the implementation, you can find the official documentation at tls-anvil.com. This website serves as a comprehensive source of information and provides everything developers and researchers need to take full advantage of our feasibility demonstrator.

Documentation

Publications

Our research in the area of combinatorial testing of TLS applications is based on a groundbreaking paper by Ruhr-Universität Bochum and Paderborn University, which was presented at the USENIX Security Conference 2022. The associated paper not only explains the approach of combinatorial testing, but also explains the first practical implementation in TLS-Anvil. As a first application of TLS-Anvil, an analysis of 13 different TLS libraries was then carried out and the results described in the paper. The full paper is available here as a PDF.

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

Become a KoTeBi project partner now!
All details and specifications here ▶ ▶ ▶
KoTeBi-Icon KoTeBi-Icon KoTeBi-Icon KoTeBi-Icon

BMBF - KoTeBi-Partner Uni Paderborn / SICP - KoTeBi-Partner
Hackmanit GmbH - KoTeBi-Partner InnoZent OWL - KoTeBi-Partner Ruhr-Universität Bochum - KoTeBi-Partner
Funded by the Federal Ministry of Education and Research // Coordinator - University of Paderborn - SICP
Project Partners - Hackmanit GmbH Bochum, InnoZent OWL e.V., Ruhr-University Bochum
KoTeBi-Logo