Move Smart Contract Vulnerability Detection based on Resource-flow Analysis

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]

Authors

Jinlei Sun

This author has not been identified. Look up 'Jinlei Sun' in Google

Zhanwei Hui

This author has not been identified. Look up 'Zhanwei Hui' in Google

Xiaojuan Wang

This author has not been identified. Look up 'Xiaojuan Wang' in Google

Xu Cao

This author has not been identified. Look up 'Xu Cao' in Google

Shuang Song

This author has not been identified. Look up 'Shuang Song' in Google