Programme

9:15-9:30 am: Opening Remarks by PC-Chairs

9:30-10:30 am: Session 1 (Invited Talk)

Chair: Kouichi Sakurai

Title: Privacy-Enhancing Consortium Blockchain

Speaker: Dr. Tsz Hon Yuen (Shield Lab Huawei, Singapore)

11:00 am -12:30 pm: Session 2 (Technical Session I)

Chair: Satya Lokam

TwinsCoin: A Cryptocurrency via Proof-of-Work and Proof-of-Stake

Tuyet Duong (Virginia Commonwealth University); Alexander Chepurnoy (Ergo Platform and IOHK Research); Lei Fan (Shanghai Jiao Tong University) and Hong-Sheng Zhou (Virginia Commonwealth University)

A practical de-mixing algorithm for Bitcoin mixing services

Younggee Hong (Korea University); Hyunsoo Kwon (Korea University); Jihwan Lee (Korea University) and Junbeom Hur (Korea University)

A Blockchain-Free Alternative for Scalability and Decentralisation

Xavier Boyen (Queensland University of Technology); Christopher Carr (Norwegian University of Science and Technology) and Thomas Haines (Queensland University of Technology)

12:30-2:30 pm: Lunch

2:30-3:30 pm: Session 3 (Technical Session II)

Chair: Junbeom Hur

Multi-mode Cryptocurrency Systems

Tuyet Duong (Virginia Commonwealth University); Alexander Chepurnoy (Ergo Platform and IOHK Research) and Hong-Sheng Zhou (Virginia Commonwealth University)

Research on the Security Criteria of Hash Functions in the Blockchain

Maoning Wang (Central University of Finance and Economics); Meijiao Duan (Central University of Finance and Economics) and Jianming Zhu (Central University of Finance and Economics)



4:00-5:00 pm: Session 4 (Technical Session III)

Chair: K J KIM

Proving Conditional Termination for Smart Contracts

Ton Chanh Le (University of Houston); Lei Xu (University of Houston); Lin Chen (University of Houston) and Weidong Shi (University of Houston)

Systematic Market Control of Cryptocurrency Inflations

Shuyang Tang (The Chinese University of Hong Kong) and Sherman Chow (The Chinese University of Hong Kong)