Formally verified TLS 1.3 implementation
Not available yet
NGI Project: NGI assure
Category: Software engineering, protocols, interoperability, cryptography, algorithms, proofs
Trustable food production reports.
Mobile client for identity magement tool Keyoxide
Transforming WikiRate ESG Platform User Experience to Maximise Reliable Data Insights
Federated hospitality with ActivityPub