Checking Smart Contracts with Structural Code Embedding
IEEE Transactions on Software Engineering, pp. 1-1, 2020.
Smart contracts have been increasingly used together with blockchains to automate financial and business transactions. However, many bugs and vulnerabilities have been identified in many contracts which raises serious concerns about smart contract security, not to mention that the blockchain systems on which the smart contracts are buil...More
PPT (Upload PPT)