@conference{Rodr20a,
	address = {Montreal, Canada},
	author = {Rodrigues, Bruno},
	month = {may},
	title = {Cast-as-Intended Verifiability in Blockchain-based Electronic Voting},
	year = {2020}
}