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
Times are displayed in time zone: (UTC) Coordinated Universal Time change

10:20 - 11:20: SRC Poster (2)Student Research Competition at Koala
Chair(s): Hourieh KhalajzadehMonash University, Australia
10:20 - 10:25
Poster
When Deep Learning Meets Smart Contracts
Student Research Competition
zhipeng gaoMonash University
10:25 - 10:30
Poster
Formal Verification of Masking Countermeasures for Arithmetic Programs
Student Research Competition
Pengfei GaoShanghaiTech University
10:30 - 10:35
Poster
Finding Ethereum Smart Contracts Security Issues by Comparing History Versions
Student Research Competition
Jiachi ChenMonash University
10:35 - 10:40
Poster
A Unified Framework to Learn Program Semantics with Graph Neural Networks
Student Research Competition
Shangqing LiuNanyang Technological University
10:40 - 10:45
Poster
A Program Verification based Approach to Find Data Race Vulnerabilities in Interrupt-driven Program
Student Research Competition
Haining FengNational University of Defense Technology
10:45 - 10:50
Poster
Anti-patterns for Java Automated Program Repair ToolsWinner SRC - Undergraduate
Student Research Competition
Yi WuSouthern University of Science and Technology
10:50 - 10:55
Poster
A Machine Learning based Approach to Autogenerate Diagnostic Models for CNC machinesSecond place SRC - Graduate
Student Research Competition
Kamil MasalimovUfa State Aviation Technical University
10:55 - 11:00
Poster
Identifying Mutation Subsumption RelationsThird place SRC - Undergraduate
Student Research Competition
Beatriz SouzaFederal University of Campina Grande