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
  ☆81Updated last week
• mlswg / mls-implementations
  Coordination of implementation and interop specific details
  ☆123Updated 6 months ago
• mlswg / mls-protocol
  MLS protocol
  ☆241Updated last year
• symbolicsoft / verifpal
  Cryptographic protocol analysis for real-world protocols.
  ☆61Updated last year
• andrewcmyers / civs
  Condorcet Internet Voting System
  ☆97Updated 4 months ago
• mlswg / mls-architecture
  MLS architecture
  ☆74Updated 7 months ago
• Nitrokey / nethsm
  Nitrokey NetHSM system software
  ☆82Updated this week
• 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…
  ☆84Updated 4 months ago
• MLanguage / mlang
  Compiler for the M language, used to compute the income tax of French taxpayers
  ☆197Updated last week
• hyperhyperspace / hyperhyperspace-core
  A library to create p2p applications, using the browser as a full peer.
  ☆223Updated last year
• squirrel-prover / squirrel-prover
  The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.
  ☆56Updated last month
• wootfish / theseus.dht
  A distributed hash table with unusually strong security properties
  ☆64Updated 5 years ago
• cossacklabs / hermes-core
  Security framework for building multi-user end-to-end encrypted data storage and sharing/processing with zero leakage risks from storage …
  ☆85Updated 3 years ago
• cryspen / hacl-packages
  The Cryspen HACL Distribution
  ☆19Updated 6 months ago
• mitls / mitls-flex
  TLS implemented in f7
  ☆43Updated 9 years ago
• gustin / opaque
  OPAQUE protocol, a secure asymmetric password authenticated key exchange (aPAKE) that supports mutual authentication in a client-server s…
  ☆82Updated 4 years ago
• lofirepo / ocaml-p2p
  Collection of composable P2P libraries
  ☆26Updated 4 years ago
• robur-coop / miragevpn
  An opinionated implementation of the OpenVPN protocol
  ☆79Updated 2 months ago
• soatok / rawr-x3dh
  TypeScript Implementation of X3DH
  ☆97Updated 2 years ago
• drand / timevault
  A dead man's switch for full but responsible disclosure of vulnerabilities
  ☆57Updated last year
• brave-experiments / frodo-pir
  Rust source code for the FrodoPIR Private Information Retrieval scheme.
  ☆68Updated last year
• inkandswitch / backchannel
  Local-first address book
  ☆70Updated 4 years ago
• stef / libsphinx
  Sphinx-based Password Storage low-level library
  ☆129Updated 9 months 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
• ocapn / ocapn
  General planning and documentation repository for the OCapN protocol suite for distributed networked objects
  ☆201Updated 3 weeks ago
• cfrg / draft-irtf-cfrg-opaque
  The OPAQUE Asymmetric PAKE Protocol
  ☆110Updated 9 months ago
• ocurrent / obuilder
  Experimental "docker build" alternative using btrfs/zfs snapshots
  ☆62Updated 3 weeks ago
• kindelia-archive / Kindelia
  A minimal decentralized computer.
  ☆118Updated 3 years ago
• sine-fdn / tandem
  A maliciously secure two-party computation engine which is embeddable and accessible
  ☆188Updated 2 months ago
• robur-coop / unipi
  Serving content from a git repository via HTTPS (including let's encrypt provisioning) as MirageOS unikernel
  ☆65Updated 2 months ago