Bug#859723: ITP: belenios -- verifiable voting system

[Stéphane Glondu <glondu@debian.org>]

Package: wnpp
Severity: wishlist
Owner: =?utf-8?q?St=C3=A9phane_Glondu?= <glondu@debian.org>

* Package name    : belenios
  Version         : 1.4
  Upstream Author : Stéphane Glondu <Stephane.Glondu@inria.fr>
* URL             : http://www.belenios.org/
* License         : AGPL-3+
  Programming Lang: OCaml
  Description     : verifiable voting system

 Belenios aims at providing an easy to use voting system, guaranteeing
 state-of-the-art security, namely vote privacy and verifiability. It
 can be used in many types of elections, ranging from scientific
 councils to sport associations.
 .
 It consists of a command-line tool and a web server. Both use the
 same backend and can be used to organize elections and perform
 verifications.
 .
 Security properties of the system are:
  * Vote privacy: No one can learn the vote of a voter. Vote privacy
    relies on the encryption of the votes.
  * End-to-end verifiablity: Every voter can check that her vote has
    been counted and only eligible voters may vote. End-to-end
    verifiablity relies on the fact that the ballot box is public
    (voters can check that their ballots have been received) and on
    the fact that the tally is publicly verifiable (anyone can recount
    the votes). Moreover, ballots are signed by the voter credential
    (only eligible voters are able to vote).

This package will be maintained inside the Debian OCaml team. To avoid
interaction with the next OCaml transition (esp. the Eliom stack),
only the command-line tool will be packaged until that transition.