https://123dok.net/document/qvl9wllr-end-end-verifiability-voting-systems-theory-practice.html