Specification, cryptographic protocol, architecture documentation and more around the e-voting system.