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
CCS Cozy Cloud’s Shiffremir
Cozy aims to reverse the established order to empower internet users by providing them their own ‘digital home’ and give...
Mobile Edge Computing for Fair Media Streaming Manifest
Mobile Edge Computing solution designed for heterogeneous contents and changeable connectivity performance to optimise the bitrate selection criteria of multiple...
Yrs
Collaborative editing with CRDT written in Rust
A Distributed Software Stack For Co-operation
Facilitating easy ad hoc cooperation
