Bertie
A formally verified implementation of the TLS 1.3 protocol
Product Information
- Description
- Bertie provides a robust implementation of the TLS 1.3 protocol, the latest standard for securing internet communications through encryption and authentication. Its distinguishing feature is formal verification, a mathematical proof process that guarantees the implementation adheres precisely to the TLS 1.3 specification and is free from critical security flaws like buffer overflows or logical errors that could compromise connections. This makes it particularly valuable for high-assurance environments such as critical infrastructure, financial systems, and privacy-focused applications where the highest level of cryptographic security is non-negotiable. Developed by Cryspen and available as open-source software, Bertie offers developers a trustworthy foundation for building secure client and server applications, ensuring that data in transit remains confidential and tamper-proof against sophisticated attacks.
- Maintainer
- cryspen company
- License
- Apache-2.0
- Last Activity
- 2025-10-09
- Categories
- Software & Cryptography
Linked NGI Projects
This product was created or improved through NGI-funded projects
Often Used Together
Products commonly used alongside Bertie
Community Discussion 3 comments
Lorem ipsum dolor sit amet, consectetur adipiscing elit. Praesent commodo cursus magna, vel scelerisque nisl consectetur et.
Nullam quis risus eget urna mollis ornare vel eu leo. Cras mattis consectetur purus sit amet fermentum.
Maecenas sed diam eget risus varius blandit sit amet non magna. Integer posuere erat a ante venenatis dapibus posuere velit aliquet.