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

Smart contracts are Turing-complete programs running on the blockchain. They cannot be modified, even when bugs are detected. The Selfdestruct function is the only way to destroy a contract on the blockchain system and transfer all the Ethers on the contract balance. Thus, many developers use this function to destroy a contract and redeploy a new one when bugs are detected. In this paper, we propose a deep learning-based method to find security issues of Ethereum smart contracts by finding the updated version of a destructed contract. After finding the updated versions, we use open card sorting to find security issues.

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