The Scalability of Trustless Trust. - Dominik Harz; Magnus Boman (Financial Cryptography Workshops, 2018)

Towards Safer Smart Contracts: A Survey of Languages and Verification Methods. - Dominik Harz; William J. Knottenbelt (CoRR, 2018)

Issue, Trade, Redeem: Crossing Systems Bounds with Cryptocurrency-Backed Tokens. - Alexei Zamyatin; Dominik Harz; William J. Knottenbelt (IACR Cryptol. ePrint Arch., 2018)

DAGsim: Simulation of DAG-based distributed ledger protocols. - Manuel Zander; Tom Waite; Dominik Harz (SIGMETRICS Perform. Evaluation Rev., 2018)

XCLAIM: Trustless, Interoperable, Cryptocurrency-Backed Assets. - Alexei Zamyatin; Dominik Harz; Joshua Lind; Panayiotis Panayiotou 002; Arthur Gervais; William J. Knottenbelt (IEEE Symposium on Security and Privacy, 2019)

Balance : Dynamic Adjustment of Cryptocurrency Deposits. - Dominik Harz; Lewis Gudgeon; Arthur Gervais; William J. Knottenbelt (IACR Cryptol. ePrint Arch., 2019)

Refinement and Verification of CBC Casper. - Ryuya Nakamura; Takayuki Jimba; Dominik Harz (IACR Cryptol. ePrint Arch., 2019)

Stablecoins 2.0: Economic Foundations and Risk-based Models. - Ariah Klages-Mundt; Dominik Harz; Lewis Gudgeon; Jun-You Liu; Andreea Minca (AFT, 2020)

The Decentralized Financial Crisis. - Lewis Gudgeon; Daniel Perez 001; Dominik Harz; Benjamin Livshits; Arthur Gervais (CVCBT, 2020)

The Decentralized Financial Crisis: Attacking DeFi. - Lewis Gudgeon; Daniel Perez 001; Dominik Harz; Arthur Gervais; Benjamin Livshits (CoRR, 2020)

Promise: Leveraging Future Gains for Collateral Reduction. - Dominik Harz; Lewis Gudgeon; Rami Khalil; Alexei Zamyatin (IACR Cryptol. ePrint Arch., 2020)

SoK: Decentralized Finance (DeFi). - Sam Werner; Daniel Perez 001; Lewis Gudgeon; Ariah Klages-Mundt; Dominik Harz; William J. Knottenbelt (AFT, 2022)