Dominik Harz
Dominik Harz
Research Assistant/PhD candidate, Imperial College London
Verified email at imperial.ac.uk - Homepage
TitleCited byYear
Xclaim: Trustless, interoperable, cryptocurrency-backed assets
A Zamyatin, D Harz, J Lind, P Panayiotou, A Gervais, W Knottenbelt
IEEE Security and Privacy. IEEE, 2019
11*2019
Towards Safer Smart Contracts: A Survey of Languages and Verification Methods
D Harz, W Knottenbelt
arXiv preprint arXiv:1809.09805, 2018
92018
The Scalability of Trustless Trust
D Harz, M Boman
International Conference on Financial Cryptography and Data Security, 279-293, 2018
42018
DAGsim: Simulation of DAG-based distributed ledger protocols
M Zander, T Waite, D Harz
ACM SIGMETRICS Performance Evaluation Review 46 (3), 118-121, 2019
22019
Balance: Dynamic Adjustment of Cryptocurrency Deposits
D Harz, L Gudgeon, A Gervais, WJ Knottenbelt
To appear in the Proceedings of the 2019 ACM SIGSAC Conference on Computer …, 2019
1*2019
Trust and verifiable computation for smart contracts in permissionless blockchains
D Harz
12017
Refinement and Verification of CBC Casper
R Nakamura, T Jimba, D Harz
2019 Crypto Valley Conference on Blockchain Technology (CVCBT), 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–7