hjugement-protocol (hackage): 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&#233; de Lorraine: V&#233;ronique Cortier, David Galindo, Pierrick Gaudry, St&#233;phane Glondu and Malika Izabachène.  A large-public introduction (in french) to Helios-C is available here: Bulletin de la soci&#233;t&#233; informatique de France &#8211; num&#233;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.
Keywords: gpl|library|politic