Michael Goldsmith

117 papers A* 1A 2B 6C 14Misc 5Journal 34Unranked 53

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Enhancing maritime cyber situational awareness: A cybersecurity visualisation for non-experts. Comput. Secur. Dominic Too, Louise Axon, Ioannis Agrafiotis, Michael Goldsmith, Sadie Creese
2025	—	`conf`	Work in Progress: Leveraging Large Language Models for Cybersecurity Compliance: A Pilot Study in ISO 27001 Audit Planning. EuroS&P (Workshops) Ahmed Salman, Yara Alsiyat, Sadie Creese, Michael Goldsmith
2024	—	`conf`	Position Paper: Leveraging Large Language Models for Cybersecurity Compliance. EuroS&P Workshops Ahmed Salman, Sadie Creese, Michael Goldsmith
2024	J	`jnl`	Unmasking hate in the pandemic: A cross-platform study of the COVID-19 infodemic. Big Data Res. Fatima Zahrah, Jason R. C. Nurse, Michael Goldsmith
2023	J	`jnl`	Ransomware as a Predator: Modelling the Systemic Risk to Prey. DTRAP Louise Axon, Arnau Erola, Ioannis Agrafiotis, Ganbayar Uuganbayar, Michael Goldsmith, Sadie Creese
2023	J	`jnl`	Securing Autonomous Air Traffic Management: Blockchain Networks Driven by Explainable AI. CoRR Louise Axon, Dimitrios Panagiotakopoulos, Samuel Ayo, Carolina Sanchez-Hernandez, Yan Zong, Simon Brown, Lei Zhang, Michael Goldsmith, Sadie Creese, Weisi Guo
2022	J	`jnl`	A Comparison of Online Hate on Reddit and 4chan: A Case Study of the 2020 US Election. CoRR Fatima Zahrah, Jason R. C. Nurse, Michael Goldsmith
2022	Misc	`conf`	A comparison of online hate on reddit and 4chan: a case study of the 2020 US election. SAC Fatima Zahrah, Jason R. C. Nurse, Michael Goldsmith
2022	J	`jnl`	A system to calculate Cyber Value-at-Risk. Comput. Secur. Arnau Erola, Ioannis Agrafiotis, Jason R. C. Nurse, Louise Axon, Michael Goldsmith, Sadie Creese
2022	J	`jnl`	Emerging Cybersecurity Capability Gaps in the Industrial Internet of Things: Overview and Research Agenda. DTRAP Louise Axon, Katherine Fletcher, Arianna Schuler Scott, Marcel Stolz, Robert Hannigan, Ali El Kaafarani, Michael Goldsmith, Sadie Creese
2022	J	`jnl`	Insider-threat detection: Lessons from deploying the CITD tool in three multinational organisations. J. Inf. Secur. Appl. Arnau Erola, Ioannis Agrafiotis, Michael Goldsmith, Sadie Creese
2021	C	`conf`	A Novel Behavioural Screenlogger Detection System. ISC Hugo Sbai, Jassim Happa, Michael Goldsmith
2021	J	`jnl`	Assessing a Decision Support Tool for SOC Analysts. DTRAP Jassim Happa, Ioannis Agrafiotis, Martin Helmhout, Thomas Bashford-Rogers, Michael Goldsmith, Sadie Creese
2021	B	`conf`	Control Effectiveness: a Capture-the-Flag Study. ARES Arnau Erola, Louise Axon, Alastair Janse van Rensburg, Ioannis Agrafiotis, Michael Goldsmith, Sadie Creese
2021	J	`jnl`	Deception in Network Defences Using Unpredictability. DTRAP Jassim Happa, Thomas Bashford-Rogers, Alastair Janse van Rensburg, Michael Goldsmith, Sadie Creese
2021	B	`conf`	Practitioners' Views on Cybersecurity Control Adoption and Effectiveness. ARES Louise Axon, Arnau Erola, Alastair Janse van Rensburg, Jason R. C. Nurse, Michael Goldsmith, Sadie Creese
2021	J	`jnl`	Sonification to Support the Monitoring Tasks of Security Operations Centres. IEEE Trans. Dependable Secur. Comput. Louise Axon, Jassim Happa, Alastair Janse van Rensburg, Michael Goldsmith, Sadie Creese
2020	—	`conf`	#ISIS vs #ActionCountersTerrorism: A Computational Analysis of Extremist and Counter-extremist Twitter Narratives. EuroS&P Workshops Fatima Zahrah, Jason R. C. Nurse, Michael Goldsmith
2020	J	`jnl`	#ISIS vs #ActionCountersTerrorism: A Computational Analysis of Extremist and Counter-extremist Twitter Narratives. CoRR Fatima Zahrah, Jason R. C. Nurse, Michael Goldsmith
2020	J	`jnl`	A survey on screenlogger attacks as well as countermeasures. Int. J. Embed. Syst. Hugo Sbai, Jassim Happa, Michael Goldsmith, Samy Meftali
2020	J	`jnl`	Data presentation in security operations centres: exploring the potential for sonification to enhance existing practice. J. Cybersecur. Louise Axon, Bushra A. AlAhmadi, Jason R. C. Nurse, Michael Goldsmith, Sadie Creese
2020	B	`conf`	Dataset Construction and Analysis of Screenshot Malware. TrustCom Hugo Sbaï, Jassim Happa, Michael Goldsmith, Samy Meftali
2020	Misc	`conf`	Design and deployment of a real-time AI-based telehealth system for deterioration prediction of critical-care patients in a large children's hospital. AMIA Fuchiang (Rich) Tsui, Lingyun Shi, Victor M. Ruiz, Fan Mi, Michael Goldsmith, Maryam Y. Naim, Jorge A. Gálvez, Allan F. Simpao
2020	—	`conf`	The Data that Drives Cyber Insurance: A Study into the Underwriting and Claims Processes. CyberSA Jason R. C. Nurse, Louise Axon, Arnau Erola, Ioannis Agrafiotis, Michael Goldsmith, Sadie Creese
2020	J	`jnl`	The Data that Drives Cyber Insurance: A Study into the Underwriting and Claims Processes. CoRR Jason R. C. Nurse, Louise Axon, Arnau Erola, Ioannis Agrafiotis, Michael Goldsmith, Sadie Creese
2019	—	`conf`	A Combined Attack-Tree and Kill-Chain Approach to Designing Attack-Detection Strategies for Malicious Insiders in Cloud Computing. Cyber Security Adrian J. Duncan, Sadie Creese, Michael Goldsmith
2019	—	`conf`	Analysing cyber-insurance claims to design harm-propagation trees. CyberSA Louise Axon, Arnau Erola, Ioannis Agrafiotis, Michael Goldsmith, Sadie Creese
2019	J	`jnl`	Anomaly Detection Using Pattern-of-Life Visual Metaphors. IEEE Access Jassim Happa, Thomas Bashford-Rogers, Ioannis Agrafiotis, Michael Goldsmith, Sadie Creese
2019	C	`conf`	Attack and Defence Modelling for Attacks via the Speech Interface. ICISSP Mary K. Bispham, Ioannis Agrafiotis, Michael Goldsmith
2019	—	`conf`	Black-Box Attacks via the Speech Interface Using Linguistically Crafted Input. ICISSP (Revised Selected Papers) Mary K. Bispham, Alastair Janse van Rensburg, Ioannis Agrafiotis, Michael Goldsmith
2019	J	`jnl`	Cybercrime Investigators are Users Too! Understanding the Socio-Technical Challenges Faced by Law Enforcement. CoRR Mariam Nouh, Jason R. C. Nurse, Helena Webb, Michael Goldsmith
2019	J	`jnl`	Hearing attacks in network data: An effectiveness study. Comput. Secur. Louise Axon, Jassim Happa, Michael Goldsmith, Sadie Creese
2019	J	`jnl`	Investigating Malware Campaigns With Semantic Technologies. IEEE Secur. Priv. Rodrigo Carvalho, Michael Goldsmith, Sadie Creese
2019	Misc	`conf`	Leveraging temporal patterns in physiological variables for prediction of critical events in single ventricle infants. AMIA Victor M. Ruiz, Jorge A. Gálvez, Michael Goldsmith, Maryam Y. Naim, Alejandro Lopez-Magallon, Ricardo Munoz, Rich Tsui
2019	C	`conf`	Nonsense Attacks on Google Assistant and Missense Attacks on Amazon Alexa. ICISSP Mary K. Bispham, Ioannis Agrafiotis, Michael Goldsmith
2019	—	`conf`	The Security of the Speech Interface: A Modelling Framework and Proposals for New Defence Mechanisms. ICISSP (Revised Selected Papers) Mary K. Bispham, Ioannis Agrafiotis, Michael Goldsmith
2019	C	`conf`	Understanding the Radical Mind: Identifying Signals to Detect Extremist Content on Twitter. ISI Mariam Nouh, Jason R. C. Nurse, Michael Goldsmith
2019	J	`jnl`	Understanding the Radical Mind: Identifying Signals to Detect Extremist Content on Twitter. CoRR Mariam Nouh, Jason R. C. Nurse, Michael Goldsmith
2019	—	`conf`	Why We Trust Dynamic Consent to Deliver on Privacy. IFIPTM Arianna Schuler Scott, Michael Goldsmith, Harriet Teare, Helena Webb, Sadie Creese
2018	—	`conf`	A State Machine System for Insider Threat Detection. GraMSec Haozhe Zhang, Ioannis Agrafiotis, Arnau Erola, Sadie Creese, Michael Goldsmith
2018	—	`conf`	A Survey of Keylogger and Screenlogger Attacks in the Banking Sector and Countermeasures to Them. CSS Hugo Sbai, Michael Goldsmith, Samy Meftali, Jassim Happa
2018	J	`jnl`	A taxonomy of cyber-harms: Defining the impacts of cyber-attacks and understanding how they propagate. J. Cybersecur. Ioannis Agrafiotis, Jason R. C. Nurse, Michael Goldsmith, Sadie Creese, David Upton
2018	J	`jnl`	Chapter Eight - Privacy Requirements in Cybersecurity Applications of Blockchain. Adv. Comput. Louise Axon, Michael Goldsmith, Sadie Creese
2018	J	`jnl`	Nonsense Attacks on Google Assistant. CoRR Mary K. Bispham, Ioannis Agrafiotis, Michael Goldsmith
2018	—	`conf`	Run-Time Monitoring of Data-Handling Violations. CyberICPS/SECPRE@ESORICS Jassim Happa, Nick Moffat, Michael Goldsmith, Sadie Creese
2018	J	`jnl`	Sonification in security operations centres: what do security practitioners think? CoRR Louise M. Axon, Bushra A. AlAhmadi, Jason R. C. Nurse, Michael Goldsmith, Sadie Creese
2018	—	`conf`	Wider Research Applications of Dynamic Consent. Privacy and Identity Management Arianna Schuler Scott, Michael Goldsmith, Harriet Teare
2017	—	`conf`	An Assessment of the Security and Transparency Procedural Components of the Estonian Internet Voting System. HCI (22) Jason R. C. Nurse, Ioannis Agrafiotis, Arnau Erola, Maria Bada, Taylor Roberts, Meredydd Williams, Michael Goldsmith, Sadie Creese
2017	J	`jnl`	Automated Insider Threat Detection System Using User and Role-Based Profile Assessment. IEEE Syst. J. Philip A. Legg, Oliver Buckley, Michael Goldsmith, Sadie Creese
2017	J	`jnl`	Formalising Policies for Insider-threat Detection: A Tripwire Grammar. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. Ioannis Agrafiotis, Arnau Erola, Michael Goldsmith, Sadie Creese
2017	C	`conf`	PB-PKI: A Privacy-aware Blockchain-based PKI. SECRYPT Louise Axon, Michael Goldsmith
2017	—	`conf`	RicherPicture: Semi-automated cyber defence using context-aware data analytics. CyberSA Arnau Erola, Ioannis Agrafiotis, Jassim Happa, Michael Goldsmith, Sadie Creese, Philip A. Legg
2017	—	`conf`	Unwinding Ariadne's Identity Thread: Privacy Risks with Fitness Trackers and Online Social Networks. MPS@CCS Angeliki Aktypi, Jason R. C. Nurse, Michael Goldsmith
2016	C	`conf`	A Pragmatic System-failure Assessment and Response Model. ICISSP Jassim Happa, Graham Fairclough, Jason R. C. Nurse, Ioannis Agrafiotis, Michael Goldsmith, Sadie Creese
2016	—	`conf`	A Tripwire Grammar for Insider Threat Detection. MIST@CCS Ioannis Agrafiotis, Arnau Erola, Michael Goldsmith, Sadie Creese
2016	J	`jnl`	Analytics for characterising and measuring the naturalness of online personae. Secur. Informatics Jason R. C. Nurse, Arnau Erola, Thomas Gibson-Robinson, Michael Goldsmith, Sadie Creese
2016	—	`conf`	Towards Designing a Multipurpose Cybercrime Intelligence Framework. EISIC Mariam Nouh, Jason R. C. Nurse, Michael Goldsmith
2016	—	`conf`	Validating an Insider Threat Detection System: A Real Scenario Perspective. IEEE Symposium on Security and Privacy Workshops Ioannis Agrafiotis, Arnau Erola, Jassim Happa, Michael Goldsmith, Sadie Creese
2015	J	`jnl`	An overview of insider attacks in cloud computing. Concurr. Comput. Pract. Exp. Adrian J. Duncan, Sadie Creese, Michael Goldsmith
2015	—	`conf`	Applying Semantic Technologies to Fight Online Banking Fraud. EISIC Rodrigo Carvalho, Michael Goldsmith, Sadie Creese
2015	J	`jnl`	Investigating the leakage of sensitive personal and organisational information in email headers. J. Internet Serv. Inf. Secur. Jason R. C. Nurse, Arnau Erola, Michael Goldsmith, Sadie Creese
2015	—	`conf`	Predicting Graphical Passwords. HCI (22) Matthieu Devlin, Jason R. C. Nurse, Duncan Hodges, Michael Goldsmith, Sadie Creese
2015	—	`conf`	Smart Insiders: Exploring the Threat from Insiders Using the Internet-of-Things. SIoT Jason R. C. Nurse, Arnau Erola, Ioannis Agrafiotis, Michael Goldsmith, Sadie Creese
2015	—	`conf`	Technology and Information Trust for Supporting Risky Decisions Based on Social-Media Content. CIT/IUCC/DASC/PICom Jason R. C. Nurse, Michael Goldsmith, Sadie Creese, Koen Lamberts
2014	—	`conf`	A Critical Reflection on the Threat from Human Insiders - Its Nature, Industry Perceptions, and Detection Approaches. HCI (24) Jason R. C. Nurse, Philip A. Legg, Oliver Buckley, Ioannis Agrafiotis, Gordon R. T. Wright, Monica T. Whitty, David Upton, Michael Goldsmith, Sadie Creese
2014	C	`conf`	Inferring social relationships from technology-level device connections. PST Jason R. C. Nurse, Jess Pumphrey, Thomas Gibson-Robinson, Michael Goldsmith, Sadie Creese
2014	—	`conf`	Reflecting on the Ability of Enterprise Security Policy to Address Accidental Insider Threat. STAST Oliver Buckley, Jason R. C. Nurse, Philip A. Legg, Michael Goldsmith, Sadie Creese
2014	J	`jnl`	Towards a User and Role-based Sequential Behavioural Analysis Tool for Insider Threat Detection. J. Internet Serv. Inf. Secur. Ioannis Agrafiotis, Philip A. Legg, Michael Goldsmith, Sadie Creese
2014	—	`conf`	Understanding Insider Threat: A Framework for Characterising Attacks. IEEE Symposium on Security and Privacy Workshops Jason R. C. Nurse, Oliver Buckley, Philip A. Legg, Michael Goldsmith, Sadie Creese, Gordon R. T. Wright, Monica T. Whitty
2014	J	`jnl`	Visual Analytics of E-mail Sociolinguistics for User Behavioural Analysis. J. Internet Serv. Inf. Secur. Philip A. Legg, Oliver Buckley, Michael Goldsmith, Sadie Creese
2013	—	`conf`	Building Confidence in Information-Trustworthiness Metrics for Decision Support. TrustCom/ISPA/IUCC Jason R. C. Nurse, Ioannis Agrafiotis, Sadie Creese, Michael Goldsmith, Koen Lamberts
2013	—	`conf`	Cloud Computing: Insider Attacks on Virtual Machines during Migration. TrustCom/ISPA/IUCC Adrian J. Duncan, Sadie Creese, Michael Goldsmith, Jamie S. Quinton
2013	C	`conf`	Communicating trustworthiness using radar graphs: A detailed look. PST Jason R. C. Nurse, Ioannis Agrafiotis, Sadie Creese, Michael Goldsmith, Koen Lamberts
2013	—	`conf`	NetVis: a Visualization Tool Enabling Multiple Perspectives of Network Traffic Data. TPCG James Nicholls, Dominik Peters, Albert Slawinski, Thomas Spoor, Sergiu Vicol, Jassim Happa, Michael Goldsmith, Sadie Creese
2013	—	`conf`	Supporting Human Decision-Making Online Using Information-Trustworthiness Metrics. HCI (27) Jason R. C. Nurse, Sadie Creese, Michael Goldsmith, Syed Sadiqur Rahman
2013	—	`conf`	The Meaning and Implementation of SKIP in CSP. CPA Thomas Gibson-Robinson, Michael Goldsmith
2013	J	`jnl`	Towards a Conceptual Model and Reasoning Structure for Insider Threat Detection. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. Philip A. Legg, Nick Moffat, Jason R. C. Nurse, Jassim Happa, Ioannis Agrafiotis, Michael Goldsmith, Sadie Creese
2012	B	`conf`	A Data-Reachability Model for Elucidating Privacy and Security Risks Related to the Use of Online Social Networks. TrustCom Sadie Creese, Michael Goldsmith, Jason R. C. Nurse, Elizabeth Phillips
2012	—	`conf`	A Model for Identity in the Cyber and Natural Universes. EISIC Duncan Hodges, Sadie Creese, Michael Goldsmith
2012	—	`conf`	An initial usability evaluation of the secure situation awareness system. ISCRAM Jason R. C. Nurse, Sadie Creese, Michael Goldsmith, Rachel Craddock, Glyn Jones
2012	B	`conf`	Insider Attacks in Cloud Computing. TrustCom Adrian J. Duncan, Sadie Creese, Michael Goldsmith
2012	C	`conf`	Reasoning about Vulnerabilities in Dependent Information Infrastructures: A Cyber Range Experiment. CRITIS Adedayo Oyelakin Adetoye, Sadie Creese, Michael Goldsmith
2012	A*	`conf`	Recent Developments in FDR. CAV Philip J. Armstrong, Michael Goldsmith, Gavin Lowe, Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell
2012	J	`jnl`	Refinement checking for privacy policies. Sci. Comput. Program. Nikolaos Papanikolaou, Sadie Creese, Michael Goldsmith
2012	—	`conf`	Using Information Trustworthiness Advice in Decision Making. STAST Jason R. C. Nurse, Sadie Creese, Michael Goldsmith, Koen Lamberts
2011	—	`conf`	A logical high-level framework for Critical Infrastructure resilience and risk assessment. CSS Sadie Creese, Michael Goldsmith, Adedayo Adetoye
2011	—	`conf`	Accepting Information with a Pinch of Salt: Handling Untrusted Information Sources. STM Syed Sadiqur Rahman, Sadie Creese, Michael Goldsmith
2011	C	`conf`	Analysis of Dependencies in Critical Infrastructures. CRITIS Adedayo Oyelakin Adetoye, Michael Goldsmith, Sadie Creese
2011	—	`conf`	Developing a Strategy for Automated Privacy Testing Suites. PrimeLife Ioannis Agrafiotis, Sadie Creese, Michael Goldsmith
2011	—	`conf`	Formalising Requirements for a Biobank Case Study Using a Logic for Consent and Revocation. PrimeLife Ioannis Agrafiotis, Sadie Creese, Michael Goldsmith
2011	—	`conf`	Guidelines for usable cybersecurity: Past and present. CSS Jason R. C. Nurse, Sadie Creese, Michael Goldsmith, Koen Lamberts
2011	—	`conf`	Trustworthy and effective communication of cybersecurity risks: A review. STAST Jason R. C. Nurse, Sadie Creese, Michael Goldsmith, Koen Lamberts
2010	—	`conf`	A Conceptual Model for Privacy Policies with Consent and Revocation Requirements. PrimeLife Marco Casassa Mont, Siani Pearson, Sadie Creese, Michael Goldsmith, Nick Papanikolaou
2010	C	`conf`	A Modelling Approach for Interdependency in Digital Systems-of-Systems Security - Extended Abstract. CRITIS Adedayo Adetoye, Sadie Creese, Michael Goldsmith, Paul Hopkins
2010	—	`conf`	Applying Formal Methods to Detect and Resolve Ambiguities in Privacy Requirements. PrimeLife Ioannis Agrafiotis, Sadie Creese, Michael Goldsmith, Nick Papanikolaou
2010	C	`conf`	EnCoRe: Towards a Holistic Approach to Privacy. SECRYPT Nick Papanikolaou, Sadie Creese, Michael Goldsmith, Marco Casassa Mont, Siani Pearson
2010	C	`conf`	Inadequacies of Current Risk Controls for the Cloud. CloudCom M. Auty, Sadie Creese, Michael Goldsmith, Paul Hopkins
2010	B	`conf`	Refinement-Friendly Bigraphs and Spygraphs. SEFM Michael Goldsmith, Sadie Creese
2009	—	`conf`	Beyond Mobility : What Next After CSP/pi? CPA Michael Goldsmith
2009	—	`ed.`	Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, AVoCS 2007, Oxford, UK, September 10-12, 2007 AVoCS Michael Goldsmith, Bill Roscoe
2009	—	`conf`	Reaching for Informed Revocation: Shutting Off the Tap on Personal Data. PrimeLife Ioannis Agrafiotis, Sadie Creese, Michael Goldsmith, Nick Papanikolaou
2008	C	`conf`	A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking. ICFEM Nick Moffat, Michael Goldsmith, Bill Roscoe
2008	J	`jnl`	Assumption-Commitment Support for CSP Model Checking. J. Autom. Reason. Nick Moffat, Michael Goldsmith
2008	—	`conf`	Requirements and Concepts for Information Assurance and Pervasive Adaptation Co-design. SASO Workshops Sadie Creese, Michael Goldsmith
2007	—	`conf`	Preface. AVoCS Michael Goldsmith, Bill Roscoe
2006	—	`conf`	Assumption-Commitment Support for CSP Model Checking. AVoCS Nick Moffat, Michael Goldsmith
2006	Misc	`conf`	Bootstrapping multi-party ad-hoc security. SAC Sadie Creese, Michael Goldsmith, Bill Roscoe, Ming Xiao
2005	—	`conf`	Exploiting Empirical Engagement in Authentication Protocol Design. SPC Sadie Creese, Michael Goldsmith, Richard Harrison, Bill Roscoe, Paul Whittaker, Irfan Zakiuddin
2004	—	`conf`	Operational Semantics for Fun and Profit. 25 Years Communicating Sequential Processes Michael Goldsmith
2003	—	`conf`	A Methodology for Model-Checking Ad-hoc Networks. SPIN Irfan Zakiuddin, Michael Goldsmith, Paul Whittaker, Paul H. B. Gardiner
2003	—	`conf`	Authentication for Pervasive Computing. SPC Sadie Creese, Michael Goldsmith, Bill Roscoe, Irfan Zakiuddin
2003	—	`conf`	Watchdog Transformations for Property-Oriented Model-Checking. FME Michael Goldsmith, Nick Moffat, Bill Roscoe, Tim Whitworth, Irfan Zakiuddin
1999	Misc	`conf`	Challenges to Process-Algebraic Property-Checking. PDPTA Michael Goldsmith
1998	—	`conf`	Critical Systems Validation and Verification with CSP and FDR. FM-Trends Michael Goldsmith, Irfan Zakiuddin
1995	A	`conf`	Hierarchical Compression for Model-Checking CSP or How to Check 10 TACAS A. W. Roscoe, Paul H. B. Gardiner, Michael Goldsmith, J. R. Hulance, D. M. Jackson, J. Bryan Scattergood
1987	A	`conf`	An Algebraic Transformation System for Occam Programs. STACS Michael Goldsmith, A. Cox, Geoff Barrett
1985	—	`book`	Programming in occam 2. Geraint Jones, Michael Goldsmith