A formalization of privacy (ballot privacy, strong correctness, and strong consistency) and verifiability for the Belenios protocol and some of its election variants.

Name
Last commit
Last update
Belenios Loading commit data...
Belenios_variants Loading commit data...
config Loading commit data...
core Loading commit data...
.dir-locals.el Loading commit data...
.gitlab-ci.yml Loading commit data...
ECVersion Loading commit data...
Makefile Loading commit data...
README.md Loading commit data...