activity
20172022
most citedBlockchain-based Smart Contracts: A Systematic Mapping Study

338 citations · 457 across the 10 of their papers we have counts for

collaborators
Showing 2020Show all

5 papers · 1 filter

cs.CR2020★ 1 cited

Investigation of 3-D Secure's Model for Fraud Detection

Mohammed Aamir Ali, Thomas Groß, Aad van Moorsel

Background. 3-D Secure 2.0 (3DS 2.0) is an identity federation protocol authenticating the payment initiator for credit card transactions on the Web. Aim. We aim to quantify the im…

cs.HC2020★ 2 cited

Simulating the Effects of Social Presence on Trust, Privacy Concerns & Usage Intentions in Automated Bots for Finance

Magdalene Ng, Kovila P. L. Coopamootoo, Ehsan Toreini +3

FinBots are chatbots built on automated decision technology, aimed to facilitate accessible banking and to support customers in making financial decisions. Chatbots are increasing…

cs.CR2020★ 15 cited

Cyclic Bayesian Attack Graphs: A Systematic Computational Approach

Isaac Matthews, John Mace, Sadegh Soudjani +1

Attack graphs are commonly used to analyse the security of medium-sized to large networks. Based on a scan of the network and likelihood information of vulnerabilities, attack grap…

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★ 92 cited

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…