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 |
|
On the Privacy of Transactions in Account-Based Cryptocurrencies | |
Mikerah Quintyne-Collins | |
HashCloak Inc., Canada | |
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 |
|
Deep Dive Into Interledger: Understanding the Interledger Ecosystem | |
Lucian Trestioreanu, Cyril Cassagnes, Radu State | |
University of Luxembourg, Luxemburg |
|
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 |
|
The InterPlanetary File System and the Filecoin network | |
Ioannis Psaras, David Dias | |
Protocol Labs, Portugal | |
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 |
|
Neo Blockchain: Developing dApps without Learning a New Programming Language | |
Guilherme Sperb Machado, Claude Müller | |
AxLabs, Switzerland | |
Building with Algorand 2.0: Everything you need to know | |
Russ Fustino | |
Algorand |