Follow
Dominik Harz
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
329*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
2282019
The Decentralized Financial Crisis
L Gudgeon, D Perez, D Harz, A Gervais, B Livshits
arXiv preprint arXiv:2002.08099, 2020
1392020
Towards Safer Smart Contracts: A Survey of Languages and Verification Methods
D Harz, W Knottenbelt
arXiv preprint arXiv:1809.09805, 2018
1132018
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
782020
DAGsim: Simulation of DAG-based Distributed Ledger Protocols
M Zander, T Waite, D Harz
ACM SIGMETRICS Performance Evaluation Review 46 (3), 118-121, 2019
452019
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
382019
The Scalability of Trustless Trust
D Harz, M Boman
International Conference on Financial Cryptography and Data Security, 279-293, 2018
292018
Refinement and Verification of CBC Casper
R Nakamura, T Jimba, D Harz
2019 Crypto Valley Conference on Blockchain Technology (CVCBT), 2019
162019
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
12022
The system can't perform the operation now. Try again later.
Articles 1–12