Smart contract-based campus demonstration of decentralized transactive energy auctions | IEEE Conference Publication | IEEE Xplore