Move Smart Contract Vulnerability Detection based on Resource-flow Analysis | IEEE Conference Publication | IEEE Xplore