Analyzing Financial Smart Contracts for Blockchain | IEEE Conference Publication | IEEE Xplore