Kairos

Kairos – Master’s Thesis project

Kairos

Kairos – Master’s Thesis project

filippo 21/08/2021

Kairos is a Peer-2-Peer capable framework for end-to-end verifiable voting systems, started as a fork of Helios by Ben Adida (https://github.com/benadida/helios-server) and eventually re-designed from scratch.

Github repo: https://github.com/biscofil/kairos_php

Thesis in PDF: http://hdl.handle.net/10579/19696

Kairos implements a modular structure which allows to handle multiple question types, cryptosystems and anonymization methods.

Supported anonymization methodsMixNets, Homomorphic encryption.
Supported question typesSTV, Multiple choice and every question whose response can be encoded as a JSON dict
Supported CryptosystemsElGamal, RSA, Exp ElGamal
Supported Ballot encodingsJSON, small JSON
Modular structure of Kairos
Distributed Freeze operation (three phase commit)
HeartBeat
Multiple bulletin boards
A server can act as a trustee for another server’s election.
Kairos implements a threshold encryption scheme based on Pedersen’s DKG.
Mix process in a distributed MixNet.