Dominik Harz
Dominik Harz
PhD candidate, Imperial College London
Verified email at imperial.ac.uk - Homepage
Title
Cited by
Cited by
Year
XCLAIM: Trustless, Interoperable Cryptocurrency-Backed Assets
A Zamyatin, D Harz, J Lind, P Panayiotou, A Gervais, W Knottenbelt
IEEE Security and Privacy. IEEE, 2019
55*2019
Towards Safer Smart Contracts: A Survey of Languages and Verification Methods
D Harz, W Knottenbelt
arXiv preprint arXiv:1809.09805, 2018
452018
The Scalability of Trustless Trust
D Harz, M Boman
International Conference on Financial Cryptography and Data Security, 279-293, 2018
142018
Balance: Dynamic Adjustment of Cryptocurrency Deposits
D Harz, L Gudgeon, A Gervais, WJ Knottenbelt
Proceedings of the 2019 ACM SIGSAC Conference on Computer & Communications …, 2019
132019
The Decentralized Financial Crisis
L Gudgeon, D Perez, D Harz, A Gervais, B Livshits
arXiv preprint arXiv:2002.08099, 2020
122020
DAGsim: Simulation of DAG-based Distributed Ledger Protocols
M Zander, T Waite, D Harz
ACM SIGMETRICS Performance Evaluation Review 46 (3), 118-121, 2019
112019
Stablecoins 2.0: Economic Foundations and Risk-based Models
A Klages-Mundt, D Harz, L Gudgeon, JY Liu, A Minca
Proceedings of the 2nd ACM Conference on Advances in Financial Technologies …, 2020
82020
Refinement and Verification of CBC Casper
R Nakamura, T Jimba, D Harz
2019 Crypto Valley Conference on Blockchain Technology (CVCBT), 2019
52019
Trust and Verifiable Computation for Smart Contracts in Permissionless Blockchains
D Harz
42017
SoK: Decentralized Finance (DeFi)
SM Werner, D Perez, L Gudgeon, A Klages-Mundt, D Harz, ...
arXiv preprint arXiv:2101.08778, 2021
32021
Promise: Leveraging Future Gains for Collateral Reduction
D Harz, L Gudgeon, R Khalil, A Zamyatin
The 2nd International Conference on Mathematical Research for Blockchain Economy, 2020
12020
The system can't perform the operation now. Try again later.
Articles 1–11