338 citations · 457 across the 10 of their papers we have counts for
8 papers · 1 filter
Federated Learning for Tabular Data: Exploring Potential Risk to Privacy
Han Wu, Zilong Zhao, Lydia Y. Chen +1
Federated Learning (FL) has emerged as a potentially powerful privacy-preserving machine learning methodology, since it avoids exchanging data between participants, but instead exc…
Stochastic Simulation Techniques for Inference and Sensitivity Analysis of Bayesian Attack Graphs
Isaac Matthews, Sadegh Soudjani, Aad van Moorsel
A vulnerability scan combined with information about a computer network can be used to create an attack graph, a model of how the elements of a network could be used in an attack t…
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…
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…
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…
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…
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…
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…