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 |