Jinlei Sun, Zhanwei Hui, Xiaojuan Wang, Xu Cao, Shuang Song. Move Smart Contract Vulnerability Detection based on Resource-flow Analysis. In 10th International Conference on Dependable Systems and Their Applications, DSA 2023, Tokyo, Japan, August 10-11, 2023. pages 389-398, IEEE, 2023. [doi]
Abstract is missing.