Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org : hjugement-protocol
This work-in-progress library aims at implementing an online voting protocol named Helios-C (Helios with Credentials) by its authors from the CNRS, the INRIA and the Université de Lorraine: Véronique Cortier, David Galindo, Pierrick Gaudry, Stéphane Glondu and Malika Izabachène. A large-public introduction (in french) to Helios-C is available here: Bulletin de la société informatique de France – numéro 9, novembre 2016. A more scientific (yet understandable) introduction (in english) to Belenios (an implementation of Helios-C) is available here: Belenios: a simple private and verifiable electronic voting system. The main properties of this protocol are: fully correct: the published result are proven to correspond to the (sum of) intended votes of the voters, while accounting for a malicious bulletin board (BB) (adding fake ballots) by requiring a registration authority (RA) (responsible for generating and sending voters' credentials). Assuming that the BB and the RA are not simultaneously dishonest. verifiable: each voter is able to check that: his/her ballot did contribute to the outcome (individual verifiability), and that the tallying authorities did their job properly (universal verifiability). private: the identities of the voters who cast a vote are not publicly revealed.
Registry
- JSON
purl: pkg:hackage/hjugement-protocol
Keywords: gpl, library, politic
License: GPL-3.0-only
Latest release: over 4 years ago
First release: about 5 years ago
Downloads: 3,925 total
Last synced: 14 days ago