Follow
Dominik Harz
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
116*2019
SoK: Decentralized Finance (DeFi)
SM Werner, D Perez, L Gudgeon, A Klages-Mundt, D Harz, ...
arXiv preprint arXiv:2101.08778, 2021
1082021
Towards Safer Smart Contracts: A Survey of Languages and Verification Methods
D Harz, W Knottenbelt
arXiv preprint arXiv:1809.09805, 2018
822018
The Decentralized Financial Crisis
L Gudgeon, D Perez, D Harz, A Gervais, B Livshits
arXiv preprint arXiv:2002.08099, 2020
692020
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
352020
DAGsim: Simulation of DAG-based Distributed Ledger Protocols
M Zander, T Waite, D Harz
ACM SIGMETRICS Performance Evaluation Review 46 (3), 118-121, 2019
312019
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
252019
The Scalability of Trustless Trust
D Harz, M Boman
International Conference on Financial Cryptography and Data Security, 279-293, 2018
222018
Refinement and Verification of CBC Casper
R Nakamura, T Jimba, D Harz
2019 Crypto Valley Conference on Blockchain Technology (CVCBT), 2019
82019
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
32020
Trust and Verifiable Computation for Smart Contracts in Permissionless Blockchains
D Harz
32017
The system can't perform the operation now. Try again later.
Articles 1–11