Foundations and Tools for the Static Analysis of Ethereum Smart Contracts
Smart contract-based campus demonstration of decentralized transactive energy auctions