Alternatives and similar repositories for belenios

Users that are interested in belenios are comparing it to the libraries listed below

• privacybydesign / irmago
  IRMA server, client, and tooling. Documentation: http://docs.yivi.app/irma-cli
  ☆77Updated last week
• Nitrokey / nethsm
  Nitrokey NetHSM system software
  ☆78Updated this week
• MLanguage / mlang
  Compiler for the M language, used to compute the income tax of French taxpayers
  ☆198Updated last week
• mlswg / mls-implementations
  Coordination of implementation and interop specific details
  ☆122Updated 5 months ago
• mlswg / mls-protocol
  MLS protocol
  ☆240Updated last year
• mlswg / mls-architecture
  MLS architecture
  ☆74Updated 5 months ago
• DECODEproject / decode-os
  The DECODE OS for private, distributed P2P computing
  ☆63Updated 3 years ago
• gustin / opaque
  OPAQUE protocol, a secure asymmetric password authenticated key exchange (aPAKE) that supports mutual authentication in a client-server s…
  ☆81Updated 4 years ago
• Inria-Prosecco / proscript-messaging
  Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…
  ☆37Updated 3 years ago
• noahlevenson / passerby
  Peer-to-peer location services for the decentralized web -- discover what's around you, no central authority required
  ☆156Updated last year
• stef / libsphinx
  Sphinx-based Password Storage low-level library
  ☆130Updated 7 months ago
• cfrg / draft-irtf-cfrg-opaque
  The OPAQUE Asymmetric PAKE Protocol
  ☆110Updated 7 months ago
• cryspen / hacl-packages
  The Cryspen HACL Distribution
  ☆19Updated 5 months ago
• lofirepo / ocaml-p2p
  Collection of composable P2P libraries
  ☆26Updated 4 years ago
• andrewcmyers / civs
  Condorcet Internet Voting System
  ☆96Updated 2 months ago
• stef / libopaque
  c implementation of the OPAQUE protocol with bindings for python, php, ruby, lua, zig, java, erlang, golang, js and SASL. also supports a…
  ☆80Updated 2 months ago
• Fraunhofer-AISEC / libpabc
  ☆14Updated last year
• robur-coop / miragevpn
  An opinionated implementation of the OpenVPN protocol
  ☆79Updated last week
• tezedge / tezedge-specification
  TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus
  ☆21Updated 3 years ago
• symbolicsoft / verifpal
  Cryptographic protocol analysis for real-world protocols.
  ☆57Updated last year
• cossacklabs / hermes-core
  Security framework for building multi-user end-to-end encrypted data storage and sharing/processing with zero leakage risks from storage …
  ☆86Updated 3 years ago
• stef / pwdsphinx
  a reference client/server and a native backend for web-extensions for Sphinx-based password storage
  ☆23Updated 2 months ago
• soatok / rawr-x3dh
  TypeScript Implementation of X3DH
  ☆97Updated 2 years ago
• squirrel-prover / squirrel-prover
  The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.
  ☆54Updated 3 months ago
• robur-coop / unipi
  Serving content from a git repository via HTTPS (including let's encrypt provisioning) as MirageOS unikernel
  ☆64Updated last week
• tdjsnelling / dat-keyserver
  a distributed PGP keyserver project based on the dat protocol
  ☆91Updated 3 years ago
• cmoid / erlbutt
  erlang prototype of scuttlebutt protocol
  ☆28Updated last month
• brave-experiments / frodo-pir
  Rust source code for the FrodoPIR Private Information Retrieval scheme.
  ☆67Updated last year
• degregat / ppdt
  Privacy Preserving Disease Tracking
  ☆24Updated 5 years ago
• completium / archetype-lang
  ☆73Updated 9 months ago