A security type verifier for smart contracts[J] COMPUTERS & SECURITY 2021(108) Hu, Xinwen Zhuang, Yi Lin, Shang-Wei Zhang, Fuyuan Kan, Shuanglong Cao, Zining
