The Open Source Key to more TLS Security

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.

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

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