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
UI Transfer
A Complete Solution for the “User Initiated Inter-Controller and Continuous Data Transfer” Pattern.
EEZ Studio
Open source tooling for measurement and test equipment
OVT 13
Open Hardware laptop
Servo Developer Experience Improvements
Improve productivity for Servo developers
