Foundations and Tools for the Static Analysis of Ethereum Smart Contracts
A Smart Contract for Boardroom Voting with Maximum Voter Privacy