IEEE International Conference on Blockchain and Cryptocurrency
2-6 May 2020 // Virtual Conference

Technical Sessions

Monday May 4, 2020

Technical Session 1 - 11:15 AM
The Usual Suspects: Insights Into Bitcoin
Chair: William Knottenbelt, Imperial College, UK

TS01-1

11:15 AM

From Hodl to Heist: Analysis of Cyber Security Threats to Bitcoin Exchanges
Kris Oosthoek, Christian Doerr
Delft University of Technology, The Netherlands

TS01-2

11:40 AM

Liveness and Consistency of Bitcoin and Prism Blockchains: The Non-lockstep Synchronous Case
Jing Li, Dongning Guo
Northwestern University, USA

TS01-3

12:05 PM

Characterizing Orphan Transactions in the Bitcoin Network
Muhammad Anas Imtiaz, David Starobinski, Ari Trachtenberg
Boston University, USA

Technical Session 2 - 1:30 PM
The Matrix: Distributed Ledgers and Internet of Things
Chair: Akaki Mamageishvili, ETH Zurich, Switzerland

TS02-1

1:30 PM

Trust Management in Decentralized IoT Access Control System
Guntur Putra1, Volkan Dedeoglu2, Salil S. Kanhere1, Raja Jurdak3
1UNSW Sydney, Australia
2Data61 CSIRO, Australia
3QUT, Australia

TS02-2

1:55 PM

Monetization using Blockchains for IoT Data Marketplace
Wiem Badreddine, Kaiwen Zhang, Chamseddine Talhi
Université du Québec, Canada

TS02-3

2:20 PM

Exploiting constrained IoT devices in a Trustless Blockchain-based Water Management System

Miguel Pincheira1, Massimo Vecchio1, Raffaele Giaffreda1, Salil S. Kanhere2

1Fondazione Bruno Kessler, Italy 
2UNSW Sydney, Australia

Technical Session 3 - 3:00 PM
The Right Stuff: Smart Contracts and Verification
Chair: Bhaskar Krishnamachari, University of Southern California, USA

TS03-1

3:00 PM

Optimal Smart Contracts with Costly Verification
Akaki Mamageishvili1, Jan Christoph Schlegl2
1ETH Zürich, Switzerland
2City University of London, Great Britian

TS03-2

3:25 PM

Smart Contract Protocol for Authenticity and Compliance with Anonymity on Hyperledger Fabric
Rishi Saket, Nitin Singh, Pankaj Dayama, Vinayaka Pandit
IBM Research India, India

TS03-3

3:50 PM

Verified Development and Deployment of Multiple Interacting Smart Contracts with VeriSolid
Keerthi Nelaturu1, Anastasia Mavridou2, Andreas Veneris1, Aron Laszka3

1University of Toronto, Canada
2NASA Ames, USA
3University of Houston, USA

Tuesday May 5, 2020

Technical Session 4 - 8:30 AM
For Your Eyes Only: Privacy in Distributed Ledgers
Chair: Ori Rottenstreich, Technion, Israel

TS04-1

8:30 AM

BPCEX: Towards Blockchain-based Privacy-preserving Currency Exchange
Wulu Li, Lei Chen, Xin Lai, Xiao Zhang, Jiajun Xin
Onething Technologies Co., Ltd., China

TS04-2

8:55 AM

Privacy-Preserving Claims Exchange Networks for Virtual Asset Service Providers
Thomas Hardjono
Massachusetts Institute of Technology, USA

Technical Session 5 - 11:15 AM
Fast and Furious: Advances in Blockchain Scalability
Chair: Mohsen Lesani, University of California Riverside, USA

TS05-1

11:15 AM

Scalable Block Execution via Parallel Validation
Maya Leshkowitz1, Olivia Benattasse2, Oded Wertheim2, Ori Rottenstreich2
1Hebrew University, Israel
2Technion, Israel

TS05-2

11:40 AM

XOX Fabric
Christian Gorenflo, Lukasz Golab, Srinivasan Keshav
University of Waterloo, Canada

TS05-3

12:05 PM

State Sharding with Space-aware Representations

Avi Mizrahi, Ori Rottenstreich

Technion, Israel

Technical Session 6 - 1:30 PM
Lost in Translation: Smart Contracts and Ledger Interoperability
Chair: Lukasz Golab, University of Waterloo, Canada

TS06-1

1:30 PM

Context-based Smart Contracts for Appendable-block Blockchains
Henry Nunes1, Roben Lunardi1, Avelino Zorzo1, Regio Michelin2, Salil S. Kanhere2
1Pontifical Catholic University of Rio Grande do Sul, Brazil
2UNSW Sydney, Australia

TS06-2

1:55 PM

Domain Specific Language for Smart Contract Development
Maximilian Woehrer, Uwe Zdun
University of Vienna, Austria

TS06-3

2:20 AM

Cross-Chain Transactions

Narges Shadab, Farzin Houshmand, Mohsen Lesani

University of California, Riverside, USA
Wednesday May 6, 2020

Technical Session 7 - 11:15 AM
The Bourne Identity: Security and Privacy
Chair: Burkhard Stiller, University of Zurich, Switzerland

TS07-1

11:15 AM

A Data Science Approach for Detecting Honeypots in Ethereum
Ramiro Camino, Christof Ferreira Torres,Mathis Steichen, Radu State
University of Luxembourg, Luxembourg

TS07-2

11:40 AM

Tracing Cryptocurrency Scams: Clustering Replicated Advance-Fee and Phishing Websites
Ross Phillips, Heidi Wilder
Elliptic, Great Britain

TS07-3

12:05 PM

Privacy-Preserving Netting in Local Energy Grids
Jacob Eberhardt, Marco Peise, Stefan Tai, Dong-Ha Kim
Technische Universität Berlin, Germany

Technical Session 8 - 1:30 PM
Indecent Proposal: Identity, Data and Access Control
Chair: Wojciech Golab, University of Waterloo, Canada

TS08-1

1:30 PM

Decentralized Identity and Trust Management Framework for Internet of Things
Markus Lücking1, Christian Fries1, Robin Lamberti1, Wilhelm Stork2
1Forschungszentrum Informatik, Germany
2Karlsruher Institut für Technologie, Germany

TS08-2

1:55 PM

Consentio: Managing Consent to Data Access using Permissioned Blockchains
Rishav Agarwal, Dhruv Kumar, Lukasz Golab, Srinivasan Keshav
University of Waterloo, Canada

TS08-3

2:20 PM

Put Your Money Where Your Mouth Is - Towards Blockchain-based Consent Violation Detection
Jonathan Heiss, Jacob Eberhardt, Max Ulbricht
Technische Universität Berlin, Germany

Technical Session 9 - 3:00 PM
Robocop: System Applications and Performance
Chair: Jacob Eberhardt, Technical University Berlin, Germany

TS09-1

3:00 PM

AWS: Blockchain-enabled Small-scale Farm Digitization
Nelson Bore, Andrew Kinai, Penina Waweru, Isaac Wambugu, Juliet Mutahi, Everlyne Kemunto, Reginald Bryant, Komminist Weldemariam
IBM Research Africa, Kenya

TS09-2

3:25 PM

A Controlled Natural Language to Support Intent-based Blockchain Selection
Eder John Scheid, Patrick Widmer, Bruno Rodrigues, Muriel Franco, Burkhard Stiller
University of Zürich, Switzerland

TS09-3

3:50 PM

Hyperledger Fabric Performance Characterization and Optimization Using GoLevelDB Benchmark
Takuya Nakaike1, Qi Zhang2, Yohei Ueda1, Tatsushi Inagaki1, Moriyoshi Ohara1
1IBM Research Tokyo, Japan
2IBM Research, USA

Technical Session 10 - 4:30 PM
Apollo 13: Technology Optimizations
Chair: Grigore Rosu, University of Illinois Urbana-Champaign, USA

TS10-1

4:30 PM

Optimizing All-to-All Data Transmission in WANs
Hao Tan, Wojciech Golab
University of Waterloo, Canada

TS10-2

4:55 PM

Right-of-Stake: Deterministic and Fair Blockchain Leader Election with Hidden Leader
Teik Guan Tan, Vishal Sharma, Jianying Zhou
Singapore University of Technology and Design, Singapore

TS10-3

5:20 PM

A Correlated Equilibrium based Transaction Pricing Mechanism in Blockchain
Qin Hu, Yash Nigam1, Zhilin Wang2, Yawei Wang3, Yinhao Xiao4

1Nanchang University, China
2Indiana University-Purdue University Indianapolis, USA
3George Washington University, USA
4Guangdong University of Finance and Economics, China

Patrons