Follow
Dominik Harz
Dominik Harz
Distributed Crafts
Verified email at imperial.ac.uk - Homepage
Title
Cited by
Cited by
Year
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
470*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
2892019
The Decentralized Financial Crisis
L Gudgeon, D Perez, D Harz, A Gervais, B Livshits
arXiv preprint arXiv:2002.08099, 2020
1842020
Towards Safer Smart Contracts: A Survey of Languages and Verification Methods
D Harz, W Knottenbelt
arXiv preprint arXiv:1809.09805, 2018
1222018
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
932020
DAGsim: Simulation of DAG-based Distributed Ledger Protocols
M Zander, T Waite, D Harz
ACM SIGMETRICS Performance Evaluation Review 46 (3), 118-121, 2019
552019
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
432019
The Scalability of Trustless Trust
D Harz, M Boman
International Conference on Financial Cryptography and Data Security, 279-293, 2018
342018
Refinement and Verification of CBC Casper
R Nakamura, T Jimba, D Harz
2019 Crypto Valley Conference on Blockchain Technology (CVCBT), 2019
202019
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
52020
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
12022
The system can't perform the operation now. Try again later.
Articles 1–12