Smart Contract Designs on Blockchain Applications[C] 2020 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC) 2020 Abuhashim, Alkhansaa Tan, Chiu C.