Our goals are simple: develop free, open source, and correct implementations of provably secure cryptographic primitives and protocols that are easy to deploy and use to implement a wide range of electronic voting systems.
All our software should be able to pass the scrutiny needed to guarantee security against nation state bad actors.
Thus, although our software can be used as a vehicle to identify theoretical research problems, perform applied research, and develop research prototypes, the software we release is meant to be used in real elections.