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

Tutorials

Sunday, May 3, 2020

Tutorial Session 1 - 9:00 AM
Tutorial 1 Chair: Guilherme Sperb Machado, AxLabs, Switzerland
Tutorial 5 Chair: Ioannis Psaras, Protocol Labs, Portugal

Tutorial 1

On the Privacy of Transactions in Account-Based Cryptocurrencies
Mikerah Quintyne-Collins 
HashCloak Inc., Canada

Tutorial 5

Building Your Own Blockchain in Under Two Hours with Substrate
Bruno Skvorc

Web3 Foundation, Croatia

Tutorial Session 2 - 11:30 AM
Tutorial 6 Chair: Guilherme Sperb Machado, AxLabs, Switzerland
Tutorial 2 Chair: Ioannis Psaras, Protocol Labs, Portugal

Tutorial 6

Deep Dive Into Interledger: Understanding the Interledger Ecosystem
Lucian Trestioreanu, Cyril Cassagnes, Radu State

University of Luxembourg, Luxemburg​​

Tutorial 2

Practical Introduction to Blockchain-Based Remote Electronic Voting
Christian Killer, Bruno Rodrigues, Eder John Scheid, Muriel Franco, Burkhard Stiller

University of Zürich, Switzerland

Tutorial Session 3 - 2:30 PM
Tutorial 3 Chair: Bruno Skvorc, Web3 Foundation, Croatia
Tutorial 7 Chair: Mikerah Quintyne-Collins, HashCloak Inc., Canada

Tutorial 3

The InterPlanetary File System and the Filecoin network
Ioannis Psaras, David Dias
Protocol Labs, Portugal

Tutorial 7

Real-world Formal Verification of Smart Contracts using the K Framework (Sponsored)
Everett Hildenbrandt, Daejun Park, Yi Zhang, Grigore Roșu

Runtime Verification

Tutorial Session 4 - 5:00 PM
Tutorial 4 Chair: Bruno Skvorc, Web3 Foundation, Croatia
Tutorial 8 Chair: Mikerah Quintyne-Collins, HashCloak Inc., Canada

Tutorial 4

Neo Blockchain: Developing dApps without Learning a New Programming Language
Guilherme Sperb Machado, Claude Müller
AxLabs, Switzerland

Tutorial 8

Building with Algorand 2.0: Everything you need to know
Russ Fustino

Algorand

Patrons