9 citations · 9 across the 1 of their papers we have counts for
2 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.CR2017★ 9 cited
Betrayal, Distrust, and Rationality: Smart Counter-Collusion Contracts for Verifiable Cloud Computing
Changyu Dong, Yilei Wang, Amjad Aldweesh +2
Cloud computing has become an irreversible trend. Together comes the pressing need for verifiability, to assure the client the correctness of computation outsourced to the cloud. E…