Bruno Rodrigues: Cast-as-Intended Verifiability in Blockchain-based Electronic Voting; IEEE International Conference on Blockchain and Cryptocurrency (ICBC 2020), Montreal, Canada, May 2020.