Dominik Harz
Dominik Harz
Verified email at imperial.ac.uk - Homepage
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
35*2019
Towards Safer Smart Contracts: A Survey of Languages and Verification Methods
D Harz, W Knottenbelt
arXiv preprint arXiv:1809.09805, 2018
272018
The Scalability of Trustless Trust
D Harz, M Boman
International Conference on Financial Cryptography and Data Security, 279-293, 2018
102018
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
92019
DAGsim: Simulation of DAG-based distributed ledger protocols
M Zander, T Waite, D Harz
ACM SIGMETRICS Performance Evaluation Review 46 (3), 118-121, 2019
42019
The Decentralized Financial Crisis
L Gudgeon, D Perez, D Harz, B Livshits, A Gervais
4*
Refinement and Verification of CBC Casper
R Nakamura, T Jimba, D Harz
2019 Crypto Valley Conference on Blockchain Technology (CVCBT), 2019
32019
Trust and verifiable computation for smart contracts in permissionless blockchains
D Harz
22017
Stablecoins 2.0: Economic Foundations and Risk-based Models
A Klages-Mundt, D Harz, L Gudgeon, JY Liu, A Minca
arXiv preprint arXiv:2006.12388, 2020
2020
Promise: Leveraging Future Gains for Collateral Reduction
D Harz, L Gudgeon, R Khalil, A Zamyatin
The system can't perform the operation now. Try again later.
Articles 1–10