Checking smart contracts with structural code embedding

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...

Full description

Saved in:
Bibliographic Details
Main Authors: GAO, Zhipeng, JIANG, Lingxiao, XIA, Xin, LO, David, GRUNDY, John
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2021
Subjects:
Online Access:https://ink.library.smu.edu.sg/sis_research/5606
https://ink.library.smu.edu.sg/context/sis_research/article/6609/viewcontent/TSE20SmartEmbed.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English