mlswg / mls-architectureLinks
MLS architecture
☆71Updated 2 months ago
Alternatives and similar repositories for mls-architecture
Users that are interested in mls-architecture are comparing it to the libraries listed below
Sorting:
- Coordination of implementation and interop specific details☆120Updated 2 months ago
- MLS protocol☆236Updated 9 months ago
- ☆16Updated 2 months ago
- Oblivious Pseudorandom Functions (OPRFs) using Prime-Order Groups☆38Updated 9 months ago
- Rust bindings for HACL & Evercrypt☆28Updated 2 months ago
- Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)☆35Updated this week
- Verifying constant-time code with symbolic execution☆44Updated 3 years ago
- Hybrid Public Key Encryption☆51Updated 11 months ago
- Proof-of-concept implementation of the (V)OPRF protocol in https://datatracker.ietf.org/doc/draft-irtf-cfrg-voprf/☆23Updated 4 years ago
- VDAF specification☆23Updated last week
- The secure messaging summit information☆20Updated 4 years ago
- The OPAQUE Asymmetric PAKE Protocol☆106Updated 4 months ago
- katzenpost mix network encrypted messaging client library☆43Updated 2 years ago
- Implementation and simulations for the "Reducing Metadata Leakage from Encrypted Data and Communication with PURBs" paper☆30Updated last year
- Bertie TLS 1.3 Implementation☆118Updated 3 weeks ago
- ☆16Updated last week
- Please check out https://github.com/hacspec/hacspec for more information on hacspec☆46Updated 4 years ago
- Xoodyak, a lightweight and versatile cryptographic scheme implemented in Rust.☆30Updated 2 months ago
- Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding☆36Updated last year
- Javascript implementation of the Ristretto255 group operations, built on top of the popular TweetNaCl.js crypto library☆34Updated last year
- Mirror of http://sourceforge.net/p/ed448goldilocks/code/ci/master/tree/☆33Updated 9 years ago
- ☆18Updated last year
- ☆13Updated 2 months ago
- a Private Publish Subscribe System☆50Updated last year
- Proof-of-possession for KEM certificates using verifiable generation☆9Updated 3 years ago
- Signcryption using libsodium.☆65Updated last year
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆36Updated 3 years ago
- ☆63Updated 8 months ago
- An implementation of the axolotl ratchet based on libsodium.☆23Updated 2 years ago
- A collection of high-performance crypto implementations.☆52Updated 2 months ago