Alternatives and similar repositories for belenios

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

• symbolicsoft / verifpal
  Cryptographic protocol analysis for real-world protocols.
  ☆53Updated 9 months ago
• cryspen / hacl-packages
  The Cryspen HACL Distribution
  ☆18Updated 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…
  ☆76Updated this week
• touist / touist
  TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
  ☆64Updated last month
• privacybydesign / irmago
  IRMA server, client, and tooling. Documentation: http://docs.yivi.app/irma-cli
  ☆75Updated this week
• squirrel-prover / squirrel-prover
  The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.
  ☆53Updated 3 weeks ago
• Fraunhofer-AISEC / libpabc
  ☆14Updated last year
• MLanguage / mlang
  Compiler for the M language, used to compute the income tax of French taxpayers
  ☆196Updated this week
• soatok / rawr-x3dh
  TypeScript Implementation of X3DH
  ☆95Updated 2 years ago
• DECODEproject / decode-os
  The DECODE OS for private, distributed P2P computing
  ☆62Updated 3 years ago
• robur-coop / miragevpn
  An opinionated implementation of the OpenVPN protocol
  ☆79Updated 3 months ago
• liqd / adhocracy-plus
  adhocracy+ is a SaaS participation platform that enables organizations to launch digital participation processes through modular interact…
  ☆89Updated this week
• mirage / mirage-crypto
  Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)
  ☆81Updated last month
• mlswg / mls-protocol
  MLS protocol
  ☆236Updated 9 months ago
• modernxmpp / modernxmpp
  Modern XMPP usage guide for client and library developers
  ☆57Updated 10 months ago
• brave-experiments / frodo-pir
  Rust source code for the FrodoPIR Private Information Retrieval scheme.
  ☆67Updated last year
• EasyCrypt / easycrypt
  EasyCrypt: Computer-Aided Cryptographic Proofs
  ☆356Updated last week
• ietf-wg-jose / json-web-proof
  Specification work for JSON Web Proof
  ☆98Updated this week
• autocrypt / autocrypt
  Convenient End-to-End Encryption for E-Mail
  ☆200Updated last week
• Nitrokey / nethsm
  Nitrokey NetHSM system software and firmware
  ☆69Updated last month
• mlswg / mls-architecture
  MLS architecture
  ☆71Updated 2 months ago
• tamarin-pq3 / tamarin-pq3
  The formal proofs for iMessage PQ3 using the Tamarin Prover
  ☆16Updated 3 months ago
• otrv4 / otrv4
  Off-the-Record Messaging Protocol version 4. -This is a draft- This repository is a mirror of http://bugs.otr.im/otrv4/otrv4
  ☆188Updated 2 years ago
• privacylab / talek
  a Private Publish Subscribe System
  ☆50Updated last year
• fractal6 / fractal6.go
  Backend for Fractale: a self-organization platform
  ☆22Updated last month
• colis-anr / colis-language
  A symbolic analyser for shell scripts.
  ☆22Updated 3 years ago
• olvid-io / olvid-android
  Olvid for Android
  ☆172Updated last month
• flusio / Flus
  Collect, organise, comment on and share links from around the Web.
  ☆159Updated last week
• inkandswitch / backchannel
  Local-first address book
  ☆70Updated 3 years ago
• mitls / mitls-flex
  TLS implemented in f7
  ☆43Updated 8 years ago