Bertie

Formally verified TLS 1.3 implementation

ProjectID

Bertie

Acronym

Bertie

Additional Info

Resources
Source code
https://github.com/cryspen/bertie

Enduser Relevance

Not available yet

Contact

https://nlnet.nl/contact/

Endorsements

Not available yet

Disclaimer

Not available yet

Country:  France

Status: Early research demo

Category: Software engineering, protocols, interoperability, cryptography, algorithms, proofs

check other similar innovations
Skip to content