all options
buster  ] [  bullseye  ] [  sid  ]
[ Source: belenios  ]

Package: belenios-tool (1.10+dfsg-1 and others)

Links for belenios-tool


Debian Resources:

Download Source Package belenios:


External Resources:

Similar packages:

verifiable voting system (command-line tool)

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 provides the command-line tool, which is the most convenient way to exercise the verifiability capabilities of the system. It can be used to run an election without using the web server, and to monitor an election running on a web server.

Other Packages Related to belenios-tool

  • depends
  • recommends
  • suggests
  • enhances

Download belenios-tool

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha (unofficial port) 1.9+dfsg-1+b2 1,945.7 kB6,232.0 kB [list of files]
amd64 1.10+dfsg-1+b4 1,456.7 kB4,410.0 kB [list of files]
arm64 1.10+dfsg-1+b4 1,599.8 kB5,154.0 kB [list of files]
armel 1.10+dfsg-1+b4 2,332.3 kB7,156.0 kB [list of files]
armhf 1.10+dfsg-1+b4 1,399.4 kB3,158.0 kB [list of files]
hppa (unofficial port) 1.10+dfsg-1+b2 2,332.9 kB7,156.0 kB [list of files]
i386 1.10+dfsg-1+b4 1,380.5 kB3,656.0 kB [list of files]
m68k (unofficial port) 1.9+dfsg-1+b2 1,945.9 kB6,232.0 kB [list of files]
mips64el 1.10+dfsg-1+b4 2,332.9 kB7,156.0 kB [list of files]
mipsel 1.10+dfsg-1+b4 2,332.5 kB7,156.0 kB [list of files]
ppc64 (unofficial port) 1.10+dfsg-1+b4 1,515.2 kB5,367.0 kB [list of files]
ppc64el 1.10+dfsg-1+b4 1,534.0 kB4,919.0 kB [list of files]
riscv64 (unofficial port) 1.10+dfsg-1+b6 2,332.6 kB7,156.0 kB [list of files]
s390x 1.10+dfsg-1+b4 1,463.6 kB4,877.0 kB [list of files]
sh4 (unofficial port) 1.10+dfsg-1+b5 2,332.6 kB7,156.0 kB [list of files]
sparc64 (unofficial port) 1.10+dfsg-1+b3 2,308.8 kB7,094.0 kB [list of files]