Raphael Matile: Cast-as-Intended Verifiability in Blockchain-based Electronic Voting for Swiss National Elections; Universität Zürich, Communication Systems Group, Department of Informatics, Zürich, Switzerland, November 2018.