Dominik Harz

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