Security Assurance for Smart Contract[C] 2018 9TH IFIP INTERNATIONAL CONFERENCE ON NEW TECHNOLOGIES, MOBILITY AND SECURITY (NTMS) 2018 Zhou, Ence Hua, Song Pi, Bingfeng Sun, Jun Nomura, Yashihide Yamashita, Kazuhiro Kurihara, Hidetoshi
