glondu / belenios
Verifiable online voting system. This is a mirror of https://gitlab.inria.fr/belenios/belenios
☆132Updated this week
Related projects ⓘ
Alternatives and complementary repositories for belenios
- Compiler for the M language, used to compute the income tax of French taxpayers☆177Updated this week
- Privacy Preserving Disease Tracking☆24Updated 4 years ago
- Web based tool for easy production of educational videos.☆32Updated last year
- a Private Publish Subscribe System☆47Updated 6 months ago
- A dead man's switch for full but responsible disclosure of vulnerabilities☆55Updated last month
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆36Updated 2 years ago
- Olvid for Android☆153Updated this week
- Condorcet Internet Voting System☆92Updated 3 weeks ago
- Gather, organize and mobilize yourselves with a convivial, ethical, and emancipating tool.☆307Updated last week
- katzenpost mix network encrypted messaging client library☆43Updated last year
- MLS architecture☆66Updated 2 weeks ago
- Katzenpost is a free and open source software project dedicated to researching and developing mix network protocols☆93Updated this week
- The DECODE OS for private, distributed P2P computing☆61Updated 2 years ago
- The Geneva electronic vote system, version 2 (prototype).☆29Updated 5 years ago
- Core components common to clients and servers.☆40Updated last year
- Verified hash-based AMQ structures in Coq☆121Updated 4 years ago
- Ressources incontournables du passé et du présent et les personnes du présent à suivre et qui questionnent l'apport de la technologie, le…☆15Updated last year
- OpenFisca core engine. See other repositories for countries-specific code & data.☆170Updated this week
- RWOT9 in Prague, The Czech Republic (September 2019)☆115Updated 2 years ago
- The secure messaging summit information☆20Updated 4 years ago
- Extensions and experiments.☆65Updated last year
- Coordination of implementation and interop specific details☆109Updated 5 months ago
- Ğeconomicus is a free economic game. It simulates more than life expectancy and allows to compare different money systems☆32Updated 6 years ago
- The OPAQUE Asymmetric PAKE Protocol☆100Updated 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…☆71Updated last week
- ☆15Updated this week
- library for implementing the server side of the mix network: mixes and providers☆26Updated last year
- A core and experimental implementation of ClaimChain☆34Updated 6 years ago
- Mirror of a website on Elligator by Daniel J. Bernstein, Mike Hamburg, Anna Krasnova, and Tanja Lange☆16Updated 2 months ago