Folgen
Dominik Harz
Dominik Harz
Bestätigte E-Mail-Adresse bei imperial.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
328*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
2272019
The Decentralized Financial Crisis
L Gudgeon, D Perez, D Harz, A Gervais, B Livshits
arXiv preprint arXiv:2002.08099, 2020
1402020
Towards Safer Smart Contracts: A Survey of Languages and Verification Methods
D Harz, W Knottenbelt
arXiv preprint arXiv:1809.09805, 2018
1122018
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
772020
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
152019
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–12