Funded solution Archive | Page 117 of 212

Generating a standard library of core distributed algorithms with formal proofs

A modern, open source replacement for Google Docs and Drive

A new wire protocol for cabal (and beyond)

E2EE connections between trusted devices

Open source tooling for BIOS configuration

E2EE online and offline messaging and discussion

Add modern encryption to SIP softphone

Secure in-band announcements of DNSSEC parameters

OpenPGP Authenticated Heads and long-time awaited security improvements

Formally verified TLS 1.3 implementation

1 … 116 117 118 … 212