signalapp / ContactDiscoveryService-IcelakeLinks
☆45Updated last week
Alternatives and similar repositories for ContactDiscoveryService-Icelake
Users that are interested in ContactDiscoveryService-Icelake are comparing it to the libraries listed below
Sorting:
- ☆54Updated 2 months ago
- MLS architecture☆74Updated 6 months ago
- Formal Analysis of the PQXDH Protocol☆26Updated last year
- ☆14Updated 5 months ago
- Coordination of implementation and interop specific details☆122Updated 5 months ago
- Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)☆40Updated 2 weeks ago
- ☆40Updated 4 years ago
- This document describes the Distributed Aggregation Protocol (DAP) being developed by the PPM working group at IETF.☆50Updated this week
- MLS protocol☆240Updated last year
- ☆17Updated last month
- The OPAQUE Asymmetric PAKE Protocol☆110Updated 8 months ago
- Implementation of Prio in Rust.☆114Updated last week
- ☆43Updated 3 years ago
- Hybrid Public Key Encryption☆51Updated last year
- VDAF specification☆23Updated this week
- ☆16Updated 6 months ago
- ☆16Updated this week
- ☆280Updated last year
- a Private Publish Subscribe System☆50Updated last year
- Tree-based KEM for group key management☆45Updated 7 years ago
- The secure messaging summit information☆20Updated 4 years ago
- Please see https://github.com/hacspec/hax☆244Updated last year
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆18Updated 6 months ago
- [work in progress] Python framework for supporting cryptographic game-hopping proofs☆13Updated 2 years ago
- Challenge Bypass using the Ristretto group☆36Updated 2 months ago
- Experimental implementation of KEMTLS in Rustls☆32Updated last year
- Oblivious Pseudorandom Functions (OPRFs) using Prime-Order Groups☆38Updated last year
- Tools for power measurements of post-quantum cryptographic algorithms☆29Updated 5 years ago
- The formally verified crypto library for Rust☆167Updated last week
- Post-quantum Wireguard (Theory)☆11Updated 5 years ago