Balance: Dynamic Adjustment of Cryptocurrency Deposits, Dominik Harz, Lewis Gudgeon, Arthur Gervais, William J. Knottenbelt, to appear in the Proceedings of the 2019 ACM SIGSAC Conference on Computer & Communications Security (CCS ‘19). 2019.
Refinement and Verification of CBC Casper, Ryuya Nakamura, Takayuki Jimba, Dominik Harz, 2019 Crypto Valley Conference on Blockchain Technology (CVCBT), 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.
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.
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.
Blockchain and beyond, Dominik Harz, Workshop on Blockchain Use Cases at Versicherungskammer Bayern, Munich, 2018.