Smart Contract Vulnerability Analysis and Security Audit[J] IEEE NETWORK 2020(34) He, Daojing Deng, Zhi Zhang, Yuxing Chan, Sammy Cheng, Yao Guizani, Nadra