glondu / beleniosLinks
Verifiable online voting system. This is a mirror of https://gitlab.com/vcast.vote/belenios
☆139Updated 3 weeks ago
Alternatives and similar repositories for belenios
Users that are interested in belenios are comparing it to the libraries listed below
Sorting:
- Compiler for the M language, used to compute the income tax of French taxpayers☆197Updated last week
- IRMA server, client, and tooling. Documentation: http://docs.yivi.app/irma-cli☆76Updated this week
- An opinionated implementation of the OpenVPN protocol☆79Updated 4 months ago
- c implementation of the OPAQUE protocol with bindings for python, php, ruby, lua, zig, java, erlang, golang, js and SASL. also supports a…☆78Updated 3 weeks ago
- Nitrokey NetHSM system software and firmware☆69Updated 2 weeks ago
- Cryptographic protocol analysis for real-world protocols.☆53Updated 10 months ago
- Serving content from a git repository via HTTPS (including let's encrypt provisioning) as MirageOS unikernel☆64Updated last month
- MLS protocol☆239Updated 10 months ago
- Coordination of implementation and interop specific details☆122Updated 3 months ago
- A minimal decentralized computer.☆118Updated 3 years ago
- Condorcet Internet Voting System☆95Updated last week
- SSH chat server using trust on first use for user registration☆32Updated 2 months ago
- MLS architecture☆73Updated 3 months ago
- Collection of composable P2P libraries☆26Updated 3 years ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆37Updated 3 years ago
- Sphinx-based Password Storage low-level library☆130Updated 5 months ago
- A TLS reverse proxy unikernel☆36Updated 4 months ago
- TypeScript Implementation of X3DH☆96Updated 2 years ago
- 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
- A Mirage filesystem library☆43Updated 3 years ago
- A DNSmasq-like MirageOS unikernel☆25Updated this week
- TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)☆65Updated last week
- Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)☆81Updated 2 months ago
- Core components common to clients and servers.☆40Updated last year
- Scripts, files and tools related to sandboxing☆32Updated 3 years ago
- A peer-to-peer file-transfer tool in OCaml☆143Updated 2 months ago
- Experimental "docker build" alternative using btrfs/zfs snapshots☆60Updated 4 months ago
- An Activitypub server in OCaml!☆70Updated 2 years ago
- The Cryspen HACL Distribution☆18Updated 3 months ago
- ☆63Updated 9 months ago