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
45*2019
Towards Safer Smart Contracts: A Survey of Languages and Verification Methods
D Harz, W Knottenbelt
arXiv preprint arXiv:1809.09805, 2018
362018
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
122019
The Scalability of Trustless Trust
D Harz, M Boman
International Conference on Financial Cryptography and Data Security, 279-293, 2018
122018
The Decentralized Financial Crisis
L Gudgeon, D Perez, D Harz, B Livshits, A Gervais
2020 Crypto Valley Conference on Blockchain Technology (CVCBT), 1-15, 2020
7*2020
DAGsim: Simulation of DAG-based distributed ledger protocols
M Zander, T Waite, D Harz
ACM SIGMETRICS Performance Evaluation Review 46 (3), 118-121, 2019
72019
Refinement and Verification of CBC Casper
R Nakamura, T Jimba, D Harz
2019 Crypto Valley Conference on Blockchain Technology (CVCBT), 2019
42019
Trust and verifiable computation for smart contracts in permissionless blockchains
D Harz
32017
Stablecoins 2.0: Economic Foundations and Risk-based Models
A Klages-Mundt, D Harz, L Gudgeon, JY Liu, A Minca
Available at SSRN 3633542, 2020
22020
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
2020
The system can't perform the operation now. Try again later.
Articles 1–10