Security Threat Mitigation for Smart Contracts: A Comprehensive Survey[J] ACM COMPUTING SURVEYS 2023(55) Ivanov, Nikolay Li, Chenning Yan, Qiben Sun, Zhiyuan Cao, Zhichao Luo, Xiapu