Publications

DAGsim: Simulation of DAG-based distributed ledger protocols, Manuel Zander, Tom Waite, Dominik Harz, 1st Symposium on Cryptocurrency Analysis (workshop at PERFORMANCE 2018), 2018.

Towards Safer Smart Contracts: A Survey of Languages and Verification Methods, Dominik Harz, William J. Knottenbelt, pre-print, 2018.

XCLAIM: Interoperability with Cryptocurrency-Backed Tokens, Alexei Zamyatin, Dominik Harz, Joshua Lind, Panayiotis Panayiotou, Arthur Gervais, William J. Knottenbelt, pre-print, 2018.

The Scalability of Trustless Trust, Dominik Harz, Magnus Boman, 2nd Workshop on Trusted Smart Contracts at Financial Cryptography 2018, 2018.

Trust and verifiable computation for smart contracts in permissionless blockchains, Dominik Harz, MSc thesis project, KTH Stockholm, 2017.

Talks

DAGsim: Simulation of DAG-based distributed ledger protocols Tom Waite and Dominik Harz, 1st Symposium on Cryptocurrency Analysis (workshop at PERFORMANCE 2018), Toulouse, 2018.

The Convergence Thesis: Collaboration between Outlier Ventures and Imperial College London, Lawrence Lundy-Bryan and Dominik Harz, Imperial Blockchain Forum, London, 2018.

Issue, Trade, Redeem: Interoperability with Tokens, Alexei Zamyatin and Dominik Harz, Scaling Bitcoin ‘Kaizen’, Tokyo, 2018.

Lightning Talk EFPL SuRI 2018, Dominik Harz, Summer Research Institute at EFPL, Lightning Talk, Lausanne, 2018.

Introduction to Smart Contracts, Dominik Harz, CodeBlock @ blockchain.info, London, 2018.

Blockchain and beyond, Dominik Harz, Workshop on Blockchain Use Cases at Versicherungskammer Bayern, Munich, 2018.

Dominik Harz, 2018
Boilerplate Skeleton | Picture Steve Roe on unsplash | Menu icon by Timothy Miller [CC BY-SA 3.0 ], via Wikimedia Commons