Verifying Security Vulnerabilities for Blockchain-based Smart Contracts | IEEE Conference Publication | IEEE Xplore