338 citations · 338 across the 1 of their papers we have counts for
3 papers
cs.CR2020
Data-Driven Model-Based Analysis of the Ethereum Verifier's Dilemma
Maher Alharby, Roben Castagna Lunardi, Amjad Aldweesh +1
In proof-of-work based blockchains such as Ethereum, verification of blocks is an integral part of establishing consensus across nodes. However, in Ethereum, miners do not receive…
cs.CR2020
BlockSim: An Extensible Simulation Tool for Blockchain Systems
Maher Alharby, Aad van Moorsel
Both in the design and deployment of blockchain solutions many performance-impacting configuration choices need to be made. We introduce BlockSim, a framework and software tool to…
cs.CR2017★ 338 cited
Blockchain-based Smart Contracts: A Systematic Mapping Study
Maher Alharby, Aad van Moorsel
An appealing feature of blockchain technology is smart contracts. A smart contract is executable code that runs on top of the blockchain to facilitate, execute and enforce an agree…