APSEC 2022
Tue 6 - Fri 9 December 2022
Thu 8 Dec 2022 13:00 - 13:20 at Room2 - Smart Contract Chair(s): Yoshiki Higo

As one of the representative Delegated Proof-of- Stake (DPoS) blockchain platforms, EOSIO blockchain platform is developing rapidly in recent years due to its excellent features, such as the scalability of transaction speed and support for smart contracts and decentralized applications (DApps). How- ever, vulnerabilities in EOSIO smart contracts have caused serious economic losses and moreover vulnerability detection tools for EOSIO contracts are limited. To overcome the above shortcomings, we implement a grey-box fuzzer called GFuzzer based on WebAssembly for smart contracts on the EOSIO platform considering that EOSIO contracts are not open-sourced. In order to generate more test cases for branches that are difficult to cover, GFuzzer selects test cases with the minimum distance to explore uncovered branches for mutation. We evaluate GFuzzer on 3963 real-world smart contracts and the experimental results show that GFuzzer can detect more vulnerabilities in EOSIO contracts than the existing tool EOSFuzzer, and is efficient in achieving high branch coverage during vulnerability detection.

Thu 8 Dec

Displayed time zone: Osaka, Sapporo, Tokyo change

13:00 - 14:30
Smart ContractTechnical Track / ERA - Early Research Achievements at Room2
Chair(s): Yoshiki Higo Osaka University
13:00
20m
Paper
Grey-box Fuzzing Based on Execution Feedback for EOSIO Smart Contracts
Technical Track
Wenyin Li Hebei university, Meng Wang Hebei university, Bin Yu Xidian University, Yuhang Shi Xidian Univeristy, Mingxin Fu Xidian Univeristy, You Shao Xidian Univeristy
13:20
15m
Paper
SCAR: Smart Contract Alarm Ranking}
ERA - Early Research Achievements
Kien Tran VNU University of Engineering and Technology, Hieu Vo VNU University of Engineering and Technology
13:35
20m
Paper
Data Flow Reduction Based Test Case Generation for Smart Contracts
Technical Track
Shunhui Ji Hohai University, Shaoqing Zhu Hohai University, Pengcheng Zhang Hohai University, Hai Dong RMIT University
13:55
20m
Paper
A Reference Architecture for Blockchain-based Traceability Systems Using Domain-Driven Design and Microservices
Technical Track
Yanze Wang Nanjing University, Shanshan Li Nanjing University, Huikun Liu Nanjing University, He Zhang Nanjing University, Bo Pan Huawei Technologies Co., Ltd.