A Semantic Analysis-Based Method for Smart Contract Vulnerability | IEEE Conference Publication | IEEE Xplore