SoK: Decentralized Finance (DeFi) S Werner, D Perez, L Gudgeon, A Klages-Mundt, D Harz, W Knottenbelt Proceedings of the 4th ACM Conference on Advances in Financial Technologies …, 2022 | 363* | 2022 |
XCLAIM: Trustless, Interoperable Cryptocurrency-Backed Assets A Zamyatin, D Harz, J Lind, P Panayiotou, A Gervais, W Knottenbelt IEEE Security and Privacy. IEEE, 2019 | 247 | 2019 |
The Decentralized Financial Crisis L Gudgeon, D Perez, D Harz, A Gervais, B Livshits arXiv preprint arXiv:2002.08099, 2020 | 152 | 2020 |
Towards Safer Smart Contracts: A Survey of Languages and Verification Methods D Harz, W Knottenbelt arXiv preprint arXiv:1809.09805, 2018 | 115 | 2018 |
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 | 82 | 2020 |
DAGsim: Simulation of DAG-based Distributed Ledger Protocols M Zander, T Waite, D Harz ACM SIGMETRICS Performance Evaluation Review 46 (3), 118-121, 2019 | 47 | 2019 |
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 | 42 | 2019 |
The Scalability of Trustless Trust D Harz, M Boman International Conference on Financial Cryptography and Data Security, 279-293, 2018 | 30 | 2018 |
Refinement and Verification of CBC Casper R Nakamura, T Jimba, D Harz 2019 Crypto Valley Conference on Blockchain Technology (CVCBT), 2019 | 17 | 2019 |
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 | 4 | 2020 |
Trust and Verifiable Computation for Smart Contracts in Permissionless Blockchains D Harz KTH Royal Institute of Technology, 2017 | 3 | 2017 |
Security and Efficiency of Collateral in Decentralized Finance DL Harz Imperial College London, 2022 | 1 | 2022 |