Thu 26 Aug 2021 07:20 - 07:30 - Dependability—Blockchain 1 Chair(s): John Grundy
With the rapid development of distributed applications, smart contracts have attracted more and more developers' attentions. However, developers or domain experts have different levels of familiarity with specific programming languages, like Solidity, and those vulnerabilities hidden in the code would be exploited and result in huge property losses. Existing auxiliary tools lack security considerations. Most of them only provide word completion based on fuzzy search and detection services for limited types of vulnerabilities, which results in the manpower waste during coding and potential vulnerability threats after deployment.
In this work, we propose an integrated framework to enhance security in the two stages of recommendation and validation, assisting developers to implement more secure contracts more quickly. First, we reinforce original smart contracts with general patch patterns and secure programming standards for training, and design a real-time code suggestion algorithm to predict secure words for selection. Then, we integrate multiple widely-used testing tools to provide validation services. For evaluation, we collected 47,398 real-world contracts, and the result shows that it outperforms existing platforms and tools, improving the average word suggestion accuracy by 30%-60% and helping detect about 25%-61% more vulnerabilities. In most cases, our framework can correctly predict next words with the probability up to 82%-97% within top ten candidates. Compared with professional vulnerability mining tools, it can find more vulnerabilities and provide targeted modification suggestions without frivolous configurations. Currently, this framework has been used as the official development tool of WeBank and integrated as the recommended platform by FISCO-BCOS community.
Wed 25 AugDisplayed time zone: Athens change
19:00 - 20:00 | Dependability—Blockchain 1Journal First / Research Papers / Industry Papers +12h Chair(s): Luciano Baresi Politecnico di Milano | ||
19:00 10mPaper | Checking Smart Contracts with Structural Code Embedding Journal First Zhipeng Gao Monash University, Lingxiao Jiang Singapore Management University, Xin Xia Huawei Technologies, David Lo Singapore Management University, John Grundy Monash University | ||
19:10 10mPaper | ÐArcher: Detecting On-Chain-Off-Chain Synchronization Bugs in Decentralized Applications Research Papers Wuqi Zhang Hong Kong University of Science and Technology, Lili Wei Hong Kong University of Science and Technology, Shuqing Li Southern University of Science and Technology, Yepang Liu Southern University of Science and Technology, Shing-Chi Cheung Hong Kong University of Science and Technology DOI Pre-print | ||
19:20 10mPaper | Making Smart Contract Development More Secure and Easier Industry Papers Meng Ren Tsinghua University, Fuchen Ma Tsinghua University, Zijing Yin Tsinghua University, Ying Fu Ant Group, Huizhong Li WeBank, Wanli Chang University of York, Yu Jiang Tsinghua University DOI | ||
19:30 30mLive Q&A | Q&A (Dependability—Blockchain 1) Research Papers |
Thu 26 AugDisplayed time zone: Athens change
07:00 - 08:00 | Dependability—Blockchain 1Industry Papers / Journal First / Research Papers Chair(s): John Grundy Monash University | ||
07:00 10mPaper | Checking Smart Contracts with Structural Code Embedding Journal First Zhipeng Gao Monash University, Lingxiao Jiang Singapore Management University, Xin Xia Huawei Technologies, David Lo Singapore Management University, John Grundy Monash University | ||
07:10 10mPaper | ÐArcher: Detecting On-Chain-Off-Chain Synchronization Bugs in Decentralized Applications Research Papers Wuqi Zhang Hong Kong University of Science and Technology, Lili Wei Hong Kong University of Science and Technology, Shuqing Li Southern University of Science and Technology, Yepang Liu Southern University of Science and Technology, Shing-Chi Cheung Hong Kong University of Science and Technology DOI Pre-print | ||
07:20 10mPaper | Making Smart Contract Development More Secure and Easier Industry Papers Meng Ren Tsinghua University, Fuchen Ma Tsinghua University, Zijing Yin Tsinghua University, Ying Fu Ant Group, Huizhong Li WeBank, Wanli Chang University of York, Yu Jiang Tsinghua University DOI | ||
07:30 30mLive Q&A | Q&A (Dependability—Blockchain 1) Research Papers |