USENIX Security '20 - The Ballot is Busted Before the Blockchain: A Security Analysis of Voatz