glondu / beleniosLinks
Verifiable online voting system. This is a mirror of https://gitlab.com/vcast.vote/belenios
☆141Updated this week
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☆199Updated last week
- Nitrokey NetHSM system software☆86Updated this week
- c implementation of the OPAQUE protocol with bindings for python, php, ruby, lua, zig, java, erlang, golang, js and SASL. also supports a…☆84Updated 5 months ago
- Cryptographic protocol analysis for real-world protocols.☆61Updated last year
- Coordination of implementation and interop specific details☆123Updated 7 months ago
- IRMA server, client, and tooling. Documentation: http://docs.yivi.app/irma-cli☆82Updated last week
- The OPAQUE Asymmetric PAKE Protocol☆111Updated 10 months ago
- An opinionated implementation of the OpenVPN protocol☆79Updated 2 months ago
- MLS protocol☆241Updated last year
- Privacy Preserving Disease Tracking☆24Updated 5 years ago
- Collection of composable P2P libraries☆26Updated 4 years ago
- MLS architecture☆74Updated 8 months ago
- OPAQUE protocol, a secure asymmetric password authenticated key exchange (aPAKE) that supports mutual authentication in a client-server s…☆84Updated 4 years ago
- Rust source code for the FrodoPIR Private Information Retrieval scheme.☆69Updated last year
- 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
- Katzenpost is a free and open source software project dedicated to researching and developing mix network protocols☆126Updated 2 weeks ago
- ☆64Updated last year
- Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)☆81Updated last month
- A peer-to-peer file-transfer tool in OCaml☆144Updated 6 months ago
- Capture few seconds as a gif, for souvenir☆21Updated 5 months ago
- The Cryspen HACL Distribution☆19Updated 7 months ago
- Serving content from a git repository via HTTPS (including let's encrypt provisioning) as MirageOS unikernel☆67Updated last week
- A dead man's switch for full but responsible disclosure of vulnerabilities☆57Updated last year
- ☆14Updated last year
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆37Updated 3 years ago
- Mirror of a website on Elligator by Daniel J. Bernstein, Mike Hamburg, Anna Krasnova, and Tanja Lange☆18Updated 8 months ago
- ☆27Updated last year
- Scripts, files and tools related to sandboxing☆33Updated 4 years ago
- TypeScript Implementation of X3DH☆99Updated 2 years ago
- Sphinx-based Password Storage low-level library☆129Updated 10 months ago