Publications

PhD Thesis: Security and Efficiency of Collateral in Decentralized Finance, Dominik Harz, PhD thesis, Imperial College London, 2022.

SoK: Decentralized Finance (DeFi), Sam Werner, Daniel Perez, Lewis Gudgeon, Ariah Klages-Mundt, Dominik Harz, William J. Knottenbelt, pre-print, 2021.

Stablecoins 2.0: Economic Foundations and Risk-based Models, Ariah Klages-Mundt, Dominik Harz, Lewis Gudgeon, Jun-You Liu, Andreea Minca, Proceedings of the 2nd ACM Conference on Advances in Financial Technologies, 2021.

The Decentralized Financial Crisis: Attacking DeFi, Lewis Gudgeon, Daniel Perez, Dominik Harz, Arthur Gervais, Benjamin Livshits, 2020 Crypto Valley Conference on Blockchain Technology (CVCBT), 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.