Write a Blog >>
ESEC/FSE 2021
Thu 19 - Sat 28 August 2021 Clowdr Platform
Wed 25 Aug 2021 19:20 - 19:30 - Dependability—Blockchain 1 Chair(s): Luciano Baresi
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 Aug

Displayed 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
10m
Paper
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
10m
Paper
ÐArcher: Detecting On-Chain-Off-Chain Synchronization Bugs in Decentralized ApplicationsArtifacts FunctionalArtifacts Available
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
10m
Paper
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
30m
Live Q&A
Q&A (Dependability—Blockchain 1)
Research Papers

Thu 26 Aug

Displayed time zone: Athens change

07:00 - 08:00
Dependability—Blockchain 1Industry Papers / Journal First / Research Papers
Chair(s): John Grundy Monash University
07:00
10m
Paper
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
10m
Paper
ÐArcher: Detecting On-Chain-Off-Chain Synchronization Bugs in Decentralized ApplicationsArtifacts FunctionalArtifacts Available
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
10m
Paper
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
30m
Live Q&A
Q&A (Dependability—Blockchain 1)
Research Papers