Showing cs.CRShow all
3 papers · 1 filter
cs.CR2020
The Decentralized Financial Crisis
Lewis Gudgeon, Daniel Perez, Dominik Harz +2
The Global Financial Crisis of 2008, caused by the accumulation of excessive financial risk, inspired Satoshi Nakamoto to create Bitcoin. Now, more than ten years later, Decentrali…
cs.CR2018
Towards Safer Smart Contracts: A Survey of Languages and Verification Methods
Dominik Harz, William Knottenbelt
With a market capitalisation of over USD 205 billion in just under ten years, public distributed ledgers have experienced significant adoption. Apart from novel consensus mechanism…
cs.CR2018
The Scalability of Trustless Trust
Dominik Harz, Magnus Boman
Permission-less blockchains can realise trustless trust, albeit at the cost of limiting the complexity of computation tasks. To explain the implications for scalability, we have im…