Security Assurance for Smart Contract. - Ence Zhou; Song Hua; Bingfeng Pi; Jun Sun 004; Yashihide Nomura; Kazuhiro Yamashita; Hidetoshi Kurihara (NTMS, 2018)