mlswg / mls-architectureLinks
MLS architecture
☆74Updated 8 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:
- MLS protocol☆241Updated last year
- Coordination of implementation and interop specific details☆123Updated 7 months ago
- ☆40Updated 5 years ago
- Oblivious Pseudorandom Functions (OPRFs) using Prime-Order Groups☆38Updated last year
- VDAF specification☆24Updated this week
- ☆17Updated 8 months ago
- A Rust implementation of the Message Layer Security group messaging protocol☆116Updated 2 years ago
- The OPAQUE Asymmetric PAKE Protocol☆111Updated 10 months ago
- ☆43Updated 3 years ago
- Rust bindings for HACL & Evercrypt☆30Updated 7 months ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆37Updated 3 years ago
- Please check out https://github.com/hacspec/hacspec for more information on hacspec☆47Updated 5 years ago
- The BLAKE3 paper: specifications, analysis, and design rationale☆184Updated 3 years ago
- Implementation and simulations for the "Reducing Metadata Leakage from Encrypted Data and Communication with PURBs" paper☆30Updated 2 years ago
- Sphinx-based Password Storage low-level library☆129Updated 10 months ago
- a Private Publish Subscribe System☆51Updated last year
- Proof-of-concept implementation of the (V)OPRF protocol in https://datatracker.ietf.org/doc/draft-irtf-cfrg-voprf/☆23Updated 5 years ago
- The secure messaging summit information☆20Updated 5 years ago
- An experimental implementation of nQUIC in Rust☆32Updated 7 years ago
- A coding challenge to learn Rust☆14Updated 8 years ago
- ☆82Updated 5 years ago
- Infinitely presentable (aeon) rerandomisable (flux) anonymous credentials.☆29Updated 5 years ago
- A memory-hard password hashing function.☆71Updated 2 years ago
- Models for authenticated key exchange in Tamarin☆12Updated 6 years ago
- Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)☆42Updated last week
- A Prio server implementation.☆72Updated 2 years ago
- Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding☆36Updated 2 years ago
- An implementation of the axolotl ratchet based on libsodium.☆23Updated 3 years ago
- OPAQUE protocol, a secure asymmetric password authenticated key exchange (aPAKE) that supports mutual authentication in a client-server s…☆83Updated 4 years ago
- ☆14Updated 7 months ago