Write a Blog >>
ASE 2020
Mon 21 - Fri 25 September 2020 Melbourne, Australia
Wed 23 Sep 2020 10:20 - 10:25 at Koala - SRC Poster (2) Chair(s): Hourieh Khalajzadeh

Ethereum has become a widely used platform to enable secure, Blockchain-based financial and business transactions. However, many identified bugs and vulnerabilities in smart contracts have led to serious financial losses, which raises serious concerns about smart contract security. Thus, there is a significant need to better maintain smart contract code and ensure its high reliability. In this research: (1) Firstly, we propose an automated deep learning based approach to learn structural code embeddings of smart contracts in Solidity, which is useful for clone detection, bug detection and contract validation on smart contracts. We apply our approach to more than 22K solidity contracts collected from the Ethereum blockchain, results show that the clone ratio of solidity code is at around 90%, much higher than traditional software. % Our work reveals homogeneous of the Ethereum ecosystem. We collect a list of 52 known buggy smart contracts belonging to 10 kinds of common vulnerabilities as our bug database. Our approach can identify more than 1000 clone related bugs based on our bug databases efficiently and accurately. (2) Secondly, according to developers’ feedback, we have implemented the approach in a web-based tool, named SmartEmbed, to facilitate Solidity developers for using our approach. Our tool can assist Solidity developers to efficiently identify repetitive smart contracts in the existing Ethereum blockchain, as well as checking their contract against a known set of bugs, which can help to improve the users’ confidence in the reliability of the contract. We optimize the implementations of SmartEmbed which is sufficient in supporting developers in real-time for practical uses. The Ethereum ecosystem as well as the individual Solidity developer can both benefit from our research. SmartEmbed website: http://www.smartembed.tools Demo video: https://youtu.be/o9ylyOpYFq8 Replication package: https://github.com/beyondacm/SmartEmbed

Wed 23 Sep

Displayed time zone: (UTC) Coordinated Universal Time change

10:20 - 11:20
SRC Poster (2)Student Research Competition at Koala
Chair(s): Hourieh Khalajzadeh Monash University, Australia
10:20
5m
Poster
When Deep Learning Meets Smart Contracts
Student Research Competition
Zhipeng Gao Monash University
10:25
5m
Poster
Formal Verification of Masking Countermeasures for Arithmetic Programs
Student Research Competition
Pengfei Gao ShanghaiTech University
10:30
5m
Poster
Finding Ethereum Smart Contracts Security Issues by Comparing History Versions
Student Research Competition
Jiachi Chen Monash University
10:35
5m
Poster
A Unified Framework to Learn Program Semantics with Graph Neural Networks
Student Research Competition
Shangqing Liu Nanyang Technological University
10:40
5m
Poster
A Program Verification based Approach to Find Data Race Vulnerabilities in Interrupt-driven Program
Student Research Competition
Haining Feng National University of Defense Technology
10:45
5m
Poster
Anti-patterns for Java Automated Program Repair ToolsWinner SRC - Undergraduate
Student Research Competition
Yi Wu Southern University of Science and Technology
10:50
5m
Poster
A Machine Learning based Approach to Autogenerate Diagnostic Models for CNC machinesSecond place SRC - Graduate
Student Research Competition
Kamil Masalimov Ufa State Aviation Technical University
10:55
5m
Poster
Identifying Mutation Subsumption RelationsThird place SRC - Undergraduate
Student Research Competition
Beatriz Souza Federal University of Campina Grande