belenios 2.2+git10-gbb6b7ea8+dfsg-1 source package in Ubuntu
Changelog
belenios (2.2+git10-gbb6b7ea8+dfsg-1) unstable; urgency=medium * New upstream release * Depend on ocaml instead of transitional ocaml-nox * Update debian/watch * Bump Standards-Version to 4.6.2 -- Stéphane Glondu <email address hidden> Wed, 06 Sep 2023 13:31:33 +0200
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Noble | release | universe | misc | |
Mantic | release | universe | misc |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
belenios_2.2+git10-gbb6b7ea8+dfsg-1.dsc | 2.2 KiB | 884d049931bae59999f60ed7d89a02f549c48f247d88b91d187902dff73ba0a1 |
belenios_2.2+git10-gbb6b7ea8+dfsg.orig.tar.gz | 917.6 KiB | ca3867b5fcb83ae4e849a84407a3d08c960ccf8a48ba05f5adc16464ca1aae85 |
belenios_2.2+git10-gbb6b7ea8+dfsg-1.debian.tar.xz | 25.6 KiB | 2769b73a0067951df9ed552ce7d593c571af14264c4068c71d760df8f9ce6693 |
Available diffs
No changes file available.
Binary packages built by this source
- belenios-tool: 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.
- belenios-tool-dbgsym: debug symbols for belenios-tool