This module offers a generic framework for implementing cryptographic protocols such as CHVote.

This module instantiates the generic framework module to the CHVote protocol.

This module implements the 'administrator' party of the CHVote protocol.

This module implements the 'election authority' party of the CHVote protocol.

This module implements the 'printing authority' party of the CHVote protocol.

This module provides simple implementations of several infrastructure services.

This module implements the 'voter' party of the CHVote protocol.

This module implements the 'voting client' party of the CHVote protocol.

This module provides an implementation of an additional CHVote protocol party called 'Coordinator'.

This module implements party 'The Public' of the CHVote protocol.

This module provides an election runner class, which can be used for simulating CHVote election events based on various parameters.