Dominik Harz

According to our database, Dominik Harz authored at least 12 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

SoK: Decentralized Finance (DeFi).

Sam Werner, Daniel Perez, Lewis Gudgeon, Ariah Klages-Mundt, Dominik Harz, William J. Knottenbelt

Proceedings of the 4th ACM Conference on Advances in Financial Technologies, 2022

2020

The Decentralized Financial Crisis: Attacking DeFi.

Lewis Gudgeon, Daniel Perez, Dominik Harz, Arthur Gervais, Benjamin Livshits

CoRR, 2020

Promise: Leveraging Future Gains for Collateral Reduction.

Dominik Harz, Lewis Gudgeon, Rami Khalil, Alexei Zamyatin

Proceedings of the 2nd International Conference on Mathematical Research for Blockchain Economy, 2020

The Decentralized Financial Crisis.

Lewis Gudgeon, Daniel Perez, Dominik Harz, Benjamin Livshits, Arthur Gervais

Proceedings of the Crypto Valley Conference on Blockchain Technology, 2020

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, 2020

2019

XCLAIM: Trustless, Interoperable, Cryptocurrency-Backed Assets.

Alexei Zamyatin, Dominik Harz, Joshua Lind, Panayiotis Panayiotou, Arthur Gervais, William J. Knottenbelt

Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019

Refinement and Verification of CBC Casper.

Ryuya Nakamura, Takayuki Jimba, Dominik Harz

Proceedings of the Crypto Valley Conference on Blockchain Technology, 2019

Balance: Dynamic Adjustment of Cryptocurrency Deposits.

Dominik Harz, Lewis Gudgeon, Arthur Gervais, William J. Knottenbelt

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018

DAGsim: Simulation of DAG-based distributed ledger protocols.

Manuel Zander, Tom Waite, Dominik Harz

IACR Cryptol. ePrint Arch., 2018

Issue, Trade, Redeem: Crossing Systems Bounds with Cryptocurrency-Backed Tokens.

Alexei Zamyatin, Dominik Harz, William J. Knottenbelt

IACR Cryptol. ePrint Arch., 2018

Towards Safer Smart Contracts: A Survey of Languages and Verification Methods.

Dominik Harz, William J. Knottenbelt

CoRR, 2018

The Scalability of Trustless Trust.

Dominik Harz, Magnus Boman

Proceedings of the Financial Cryptography and Data Security, 2018