74 citations · 77 across the 6 of their papers we have counts for
8 papers
Towards Interdependent Safety Security Assessments using Bowties
Luca Arnaboldi, David Aspinall
We present a way to combine security and safety assessments using Bowtie Diagrams. Bowties model both the causes leading up to a central failure event and consequences which arise…
Traffic Generation using Containerization for Machine Learning
Henry Clausen, Robert Flood, David Aspinall
The design and evaluation of data-driven network intrusion detection methods are currently held back by a lack of adequate data, both in terms of benign and attack traffic. Existin…
How to Simulate It in Isabelle: Towards Formal Proof for Secure Multi-Party Computation
David Butler, David Aspinall, Adria Gascon
In cryptography, secure Multi-Party Computation (MPC) protocols allow participants to compute a function jointly while keeping their inputs private. Recent breakthroughs are bringi…
DroidGen: Constraint-based and Data-Driven Policy Generation for Android
Mohamed Nassim Seghir, David Aspinall
We present DroidGen a tool for automatic anti-malware policy inference. DroidGen employs a data-driven approach: it uses a training set of malware and benign applications and makes…
Accessible Banking: Experiences and Future Directions
Bela Gor, David Aspinall
This is a short position paper drawing on experience working with the UK banking industry and their disabled and ageing customers in the Business Disability Forum, a UK non-profit…
Data Driven Authentication: On the Effectiveness of User Behaviour Modelling with Mobile Device Sensors
Hilmi Gunes Kayacik, Mike Just, Lynne Baillie +2
We propose a lightweight, and temporally and spatially aware user behaviour modelling technique for sensor-based authentication. Operating in the background, our data driven techni…