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
Real time graph database search engine
Live filtering on graph database streams
CryRev
The CrypTech project has developed an open-source hardware cryptographic engine design to meet the needs of high assurance Internet infrastructure...
LibrEDA
An integrated development environment for chip design
Squishy
SCSI multi tool and gateware library
