IEEE International Conference on Blockchain and Cryptocurrency
14-17 May 2019 // Seoul, South Korea

Short Paper Session

Thursday, May 16, 2019
Short Paper Session: Blockchain & Cryptocurrency
Chair: Mariusz Nowostawski, Norwegian University of Science and Technology, Norway
Thu, May, 16, 8:30AM – 9:45AM, Main Hall
SS01-1 Enhancing Engagement in Token-Curated Registries via an Inflationary Mechanism
Yi Lucy Wang, Bhaskar Krishnamachari
University of Southern California, USA
SS01-2 Standardising smart contracts: Automatically inferring ERC standards
Robert Norvill1, Beltran Borja Fiz Pontiveros1, Radu State1, Andrea Cullen2
University of Luxembourg, Luxemburg1
University of Bradford, United Kingdom2
SS01-3 Proof of Delivery in a Trustless Network
Kyle Park1, Kideok Cho1, Dookyoon Han1, Ted Taekyoung Kwon2, Sangheon Pack3
Network Defines, Inc., Republic of Korea1
Seoul National University, Republic of Korea2
Korea University, Republic of Korea3
SS01-4 Formal Verification of Token Economy Models
O.Letychevskyi1, M.Poltoratzkyi2, V.Peschanenko1, P.Kovalenko3, V.Radchenko1, S.Mogylko3
Garuda AI B.V., Netherlands1
Kherson State University, Ukraine2
Skillonomy, Ukraine3
SS01-5 Elasticoin: Low-Volatility Cryptocurrency with Proofs of Sequential Work
Yuhao Dong, Raouf Boutaba
University of Waterloo, Canada