@mastersthesis{publication-17238, author={Matile, Raphael}, editor={Bastos Rodrigues, Bruno and John Scheid, Eder}, faculty={Faculty of Business, Economics and Informatics}, institution={University of Zurich}, title={Cast-as-Intended Verifiability in Blockchain-based Electronic Voting for Swiss National Elections}, year=2018, }