Follow
Dominik Harz
Title
Cited by
Cited by
Year
SoK: Decentralized Finance (DeFi)
SM Werner, D Perez, L Gudgeon, A Klages-Mundt, D Harz, ...
arXiv preprint arXiv:2101.08778, 2021
1992021
XCLAIM: Trustless, Interoperable Cryptocurrency-Backed Assets
A Zamyatin, D Harz, J Lind, P Panayiotou, A Gervais, W Knottenbelt
IEEE Security and Privacy. IEEE, 2019
166*2019
The Decentralized Financial Crisis
L Gudgeon, D Perez, D Harz, A Gervais, B Livshits
arXiv preprint arXiv:2002.08099, 2020
982020
Towards Safer Smart Contracts: A Survey of Languages and Verification Methods
D Harz, W Knottenbelt
arXiv preprint arXiv:1809.09805, 2018
942018
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
482020
DAGsim: Simulation of DAG-based Distributed Ledger Protocols
M Zander, T Waite, D Harz
ACM SIGMETRICS Performance Evaluation Review 46 (3), 118-121, 2019
382019
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
272019
The Scalability of Trustless Trust
D Harz, M Boman
International Conference on Financial Cryptography and Data Security, 279-293, 2018
262018
Refinement and Verification of CBC Casper
R Nakamura, T Jimba, D Harz
2019 Crypto Valley Conference on Blockchain Technology (CVCBT), 2019
112019
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
42020
Trust and Verifiable Computation for Smart Contracts in Permissionless Blockchains
D Harz
KTH Royal Institute of Technology, 2017
32017
Security and Efficiency of Collateral in Decentralized Finance
DL Harz
Imperial College London, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–12