Publications

The Decentralized Financial Crisis: Attacking DeFi, Lewis Gudgeon, Daniel Perez, Dominik Harz, Arthur Gervais, Benjamin Livshits, pre-print, 2020.

Balance: Dynamic Adjustment of Cryptocurrency Deposits, Dominik Harz, Lewis Gudgeon, Arthur Gervais, William J. Knottenbelt, Proceedings of the 2019 ACM SIGSAC Conference on Computer & Communications Security (CCS ‘19), 2019.

Poster: Random Rewards in Proof-of-Stake Protocols, Dominik Harz, Ryuya Nakamura, International Workshop on Security (IWSEC), Tokyo, 2019.

XCLAIM: Trustless, Interoperable Cryptocurrency-Backed Assets, Alexei Zamyatin, Dominik Harz, Joshua Lind, Panayiotis Panayiotou, Arthur Gervais, William J. Knottenbelt, Proceedings of the IEEE Symposium on Security & Privacy, May 2019, 2019.

Refinement and Verification of CBC Casper, Ryuya Nakamura, Takayuki Jimba, Dominik Harz, 2019 Crypto Valley Conference on Blockchain Technology (CVCBT), 2019.

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.

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

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

Talks

Balance: Dynamic Adjustment of Cryptocurrency Deposits, Dominik Harz, ACM CCS, London, 2019.

XCLAIM: Trustless, Interoperable Cryptocurrency-Backed Assets, Dominik Harz, UNSW Workshop on Protocols and Proofs for Blockchain Systems, Sydney, 2019.

Interoperability between Bitcoin and Ethereum - Trustless, Dominik Harz, Ethereum Development Conference (EDCON), Sydney, 2019.

ZEXE on Plasma, EDCON Hackathon, Sydney 2019.

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.