Zhanwei Hui

Move Smart Contract Vulnerability Detection based on Resource-flow Analysis

2023

The Move smart contract (MSC) is designed to enhance the type security of digital assets by utilizing a resource-based structure. However, vulnerabilities may be introduced during the development process. In response to the security threats …