XCLAIM: Trustless, Interoperable Cryptocurrency-Backed Assets A Zamyatin, D Harz, J Lind, P Panayiotou, A Gervais, W Knottenbelt IEEE Security and Privacy. IEEE, 2019 | 15* | 2019 |
Towards Safer Smart Contracts: A Survey of Languages and Verification Methods D Harz, W Knottenbelt arXiv preprint arXiv:1809.09805, 2018 | 14 | 2018 |
The Scalability of Trustless Trust D Harz, M Boman International Conference on Financial Cryptography and Data Security, 279-293, 2018 | 6 | 2018 |
DAGsim: Simulation of DAG-based distributed ledger protocols M Zander, T Waite, D Harz ACM SIGMETRICS Performance Evaluation Review 46 (3), 118-121, 2019 | 2 | 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 | 2 | 2019 |
Trust and verifiable computation for smart contracts in permissionless blockchains D Harz | 1 | 2017 |
Refinement and Verification of CBC Casper R Nakamura, T Jimba, D Harz 2019 Crypto Valley Conference on Blockchain Technology (CVCBT), 2019 | | 2019 |