Dominik Harz

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 19

Top Topics

Financial Crisis

Dynamically Adjust

Convertible Bonds

Verification Method

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Sam Werner, Daniel Perez, Lewis Gudgeon, Ariah Klages-Mundt, Dominik Harz, William J. Knottenbelt
SoK: Decentralized Finance (DeFi). AFT (2022)
Sam M. Werner, Daniel Perez, Lewis Gudgeon, Ariah Klages-Mundt, Dominik Harz, William J. Knottenbelt
SoK: Decentralized Finance (DeFi). CoRR (2021)
Ariah Klages-Mundt, Dominik Harz, Lewis Gudgeon, Jun-You Liu, Andreea Minca
Stablecoins 2.0: Economic Foundations and Risk-based Models. CoRR (2020)
Dominik Harz, Lewis Gudgeon, Rami Khalil, Alexei Zamyatin
Promise: Leveraging Future Gains for Collateral Reduction. IACR Cryptol. ePrint Arch. 2020 (2020)
Dominik Harz, Lewis Gudgeon, Rami Khalil, Alexei Zamyatin
Promise: Leveraging Future Gains for Collateral Reduction. MARBLE (2020)
Ariah Klages-Mundt, Dominik Harz, Lewis Gudgeon, Jun-You Liu, Andreea Minca
Stablecoins 2.0: Economic Foundations and Risk-based Models. AFT (2020)
Lewis Gudgeon, Daniel Perez, Dominik Harz, Benjamin Livshits, Arthur Gervais
The Decentralized Financial Crisis. CVCBT (2020)
Lewis Gudgeon, Daniel Perez, Dominik Harz, Arthur Gervais, Benjamin Livshits
The Decentralized Financial Crisis: Attacking DeFi. CoRR (2020)
Ryuya Nakamura, Takayuki Jimba, Dominik Harz
Refinement and Verification of CBC Casper. IACR Cryptol. ePrint Arch. 2019 (2019)
Ryuya Nakamura, Takayuki Jimba, Dominik Harz
Refinement and Verification of CBC Casper. CVCBT (2019)
Dominik Harz, Lewis Gudgeon, Arthur Gervais, William J. Knottenbelt
Balance: Dynamic Adjustment of Cryptocurrency Deposits. CCS (2019)
Dominik Harz, Lewis Gudgeon, Arthur Gervais, William J. Knottenbelt
Balance : Dynamic Adjustment of Cryptocurrency Deposits. IACR Cryptol. ePrint Arch. 2019 (2019)
Alexei Zamyatin, Dominik Harz, Joshua Lind, Panayiotis Panayiotou, Arthur Gervais, William J. Knottenbelt
XCLAIM: Trustless, Interoperable, Cryptocurrency-Backed Assets. IEEE Symposium on Security and Privacy (2019)
Manuel Zander, Tom Waite, Dominik Harz
DAGsim: Simulation of DAG-based distributed ledger protocols. IACR Cryptol. ePrint Arch. 2018 (2018)
Dominik Harz, Magnus Boman
The Scalability of Trustless Trust. Financial Cryptography Workshops (2018)
Alexei Zamyatin, Dominik Harz, William J. Knottenbelt
Issue, Trade, Redeem: Crossing Systems Bounds with Cryptocurrency-Backed Tokens. IACR Cryptol. ePrint Arch. 2018 (2018)
Manuel Zander, Tom Waite, Dominik Harz
DAGsim: Simulation of DAG-based distributed ledger protocols. SIGMETRICS Perform. Evaluation Rev. 46 (3) (2018)
Dominik Harz, William J. Knottenbelt
Towards Safer Smart Contracts: A Survey of Languages and Verification Methods. CoRR (2018)
Dominik Harz, Magnus Boman
The Scalability of Trustless Trust. CoRR (2018)