75 citations · 147 across the 2 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.CR2018★ 75 cited
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…