关注
Dominik Harz
Dominik Harz
Distributed Crafts
在 imperial.ac.uk 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
2472019
The Decentralized Financial Crisis
L Gudgeon, D Perez, D Harz, A Gervais, B Livshits
arXiv preprint arXiv:2002.08099, 2020
1522020
Towards Safer Smart Contracts: A Survey of Languages and Verification Methods
D Harz, W Knottenbelt
arXiv preprint arXiv:1809.09805, 2018
1152018
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
822020
DAGsim: Simulation of DAG-based Distributed Ledger Protocols
M Zander, T Waite, D Harz
ACM SIGMETRICS Performance Evaluation Review 46 (3), 118-121, 2019
472019
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
422019
The Scalability of Trustless Trust
D Harz, M Boman
International Conference on Financial Cryptography and Data Security, 279-293, 2018
302018
Refinement and Verification of CBC Casper
R Nakamura, T Jimba, D Harz
2019 Crypto Valley Conference on Blockchain Technology (CVCBT), 2019
172019
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
系统目前无法执行此操作,请稍后再试。
文章 1–12