Bertie
Website
https://cryspen.comFormally 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
NGI Project: NGI assure
Status: Early research demo
Category: Software engineering, protocols, interoperability, cryptography, algorithms, proofs
check other similar innovations
Securing NixOS services with systemd
Distributed Private Trust
Decentralised trust and reputation system
DATALISP
Universal data interchange format using canonical S-expressions
URL Frontier 2.0
Enterprise features for URLFrontier
