| 2022 | SAC | A comparison of online hate on reddit and 4chan: a case study of the 2020 US election. | Fatima Zahrah, Jason R. C. Nurse, Michael Goldsmith |
| 2020 | AMIA | Design and deployment of a real-time AI-based telehealth system for deterioration prediction of critical-care patients in a large children's hospital. | Fuchiang (Rich) Tsui, Lingyun Shi, Victor M. Ruiz, Fan Mi, Michael Goldsmith, Maryam Y. Naim, Jorge A. Glvez, Allan F. Simpao |
| 2020 | TrustCom | Dataset Construction and Analysis of Screenshot Malware. | Hugo Sba, Jassim Happa, Michael Goldsmith, Samy Meftali |
| 2019 | AMIA | Leveraging temporal patterns in physiological variables for prediction of critical events in single ventricle infants. | Victor M. Ruiz, Jorge A. Glvez, Michael Goldsmith, Maryam Y. Naim, Alejandro Lopez-Magallon, Ricardo Munoz, Rich Tsui |
| 2019 | ICISSP | Nonsense Attacks on Google Assistant and Missense Attacks on Amazon Alexa. | Mary K. Bispham, Ioannis Agrafiotis, Michael Goldsmith |
| 2019 | ICISSP | Attack and Defence Modelling for Attacks via the Speech Interface. | Mary K. Bispham, Ioannis Agrafiotis, Michael Goldsmith |
| 2019 | ICISSP | The Security of the Speech Interface: A Modelling Framework and Proposals for New Defence Mechanisms. | Mary K. Bispham, Ioannis Agrafiotis, Michael Goldsmith |
| 2019 | ICISSP | Black-Box Attacks via the Speech Interface Using Linguistically Crafted Input. | Mary K. Bispham, Alastair Janse van Rensburg, Ioannis Agrafiotis, Michael Goldsmith |
| 2019 | ISI | Understanding the Radical Mind: Identifying Signals to Detect Extremist Content on Twitter. | Mariam Nouh, Jason R. C. Nurse, Michael Goldsmith |
| 2018 | ESORICS | Run-Time Monitoring of Data-Handling Violations. | Jassim Happa, Nick Moffat, Michael Goldsmith, Sadie Creese |
| 2017 | CCS | Unwinding Ariadne's Identity Thread: Privacy Risks with Fitness Trackers and Online Social Networks. | Angeliki Aktypi, Jason R. C. Nurse, Michael Goldsmith |
| 2017 | HCI | An Assessment of the Security and Transparency Procedural Components of the Estonian Internet Voting System. | Jason R. C. Nurse, Ioannis Agrafiotis, Arnau Erola, Maria Bada, Taylor Roberts, Meredydd Williams, Michael Goldsmith, Sadie Creese |
| 2017 | SECRYPT | PB-PKI: A Privacy-aware Blockchain-based PKI. | Louise Axon, Michael Goldsmith |
| 2016 | CCS | A Tripwire Grammar for Insider Threat Detection. | Ioannis Agrafiotis, Arnau Erola, Michael Goldsmith, Sadie Creese |
| 2016 | ICISSP | A Pragmatic System-failure Assessment and Response Model. | Jassim Happa, Graham Fairclough, Jason R. C. Nurse, Ioannis Agrafiotis, Michael Goldsmith, Sadie Creese |
| 2016 | SP | Validating an Insider Threat Detection System: A Real Scenario Perspective. | Ioannis Agrafiotis, Arnau Erola, Jassim Happa, Michael Goldsmith, Sadie Creese |
| 2015 | HCI | Predicting Graphical Passwords. | Matthieu Devlin, Jason R. C. Nurse, Duncan Hodges, Michael Goldsmith, Sadie Creese |
| 2014 | HCI | A Critical Reflection on the Threat from Human Insiders - Its Nature, Industry Perceptions, and Detection Approaches. | 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 | PST | Inferring social relationships from technology-level device connections. | Jason R. C. Nurse, Jess Pumphrey, Thomas Gibson-Robinson, Michael Goldsmith, Sadie Creese |
| 2014 | SP | Understanding Insider Threat: A Framework for Characterising Attacks. | Jason R. C. Nurse, Oliver Buckley, Philip A. Legg, Michael Goldsmith, Sadie Creese, Gordon R. T. Wright, Monica T. Whitty |
| 2013 | HCI | Supporting Human Decision-Making Online Using Information-Trustworthiness Metrics. | Jason R. C. Nurse, Sadie Creese, Michael Goldsmith, Syed Sadiqur Rahman |
| 2013 | PST | Communicating trustworthiness using radar graphs: A detailed look. | Jason R. C. Nurse, Ioannis Agrafiotis, Sadie Creese, Michael Goldsmith, Koen Lamberts |
| 2013 | TrustCom | Cloud Computing: Insider Attacks on Virtual Machines during Migration. | Adrian J. Duncan, Sadie Creese, Michael Goldsmith, Jamie S. Quinton |
| 2013 | TrustCom | Building Confidence in Information-Trustworthiness Metrics for Decision Support. | Jason R. C. Nurse, Ioannis Agrafiotis, Sadie Creese, Michael Goldsmith, Koen Lamberts |
| 2012 | CAV | Recent Developments in FDR. | Philip J. Armstrong, Michael Goldsmith, Gavin Lowe, Jol Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell |
| 2012 | CRITIS | Reasoning about Vulnerabilities in Dependent Information Infrastructures: A Cyber Range Experiment. | Adedayo Oyelakin Adetoye, Sadie Creese, Michael Goldsmith |
| 2012 | TrustCom | A Data-Reachability Model for Elucidating Privacy and Security Risks Related to the Use of Online Social Networks. | Sadie Creese, Michael Goldsmith, Jason R. C. Nurse, Elizabeth Phillips |
| 2012 | TrustCom | Insider Attacks in Cloud Computing. | Adrian J. Duncan, Sadie Creese, Michael Goldsmith |
| 2011 | CRITIS | Analysis of Dependencies in Critical Infrastructures. | Adedayo Oyelakin Adetoye, Michael Goldsmith, Sadie Creese |
| 2010 | CloudCom | Inadequacies of Current Risk Controls for the Cloud. | M. Auty, Sadie Creese, Michael Goldsmith, Paul Hopkins |
| 2010 | CRITIS | A Modelling Approach for Interdependency in Digital Systems-of-Systems Security - Extended Abstract. | Adedayo Adetoye, Sadie Creese, Michael Goldsmith, Paul Hopkins |
| 2010 | SECRYPT | EnCoRe: Towards a Holistic Approach to Privacy. | Nick Papanikolaou, Sadie Creese, Michael Goldsmith, Marco Casassa Mont, Siani Pearson |
| 2010 | SEFM | Refinement-Friendly Bigraphs and Spygraphs. | Michael Goldsmith, Sadie Creese |
| 2008 | ICFEM | A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking. | Nick Moffat, Michael Goldsmith, Bill Roscoe |
| 2006 | SAC | Bootstrapping multi-party ad-hoc security. | Sadie Creese, Michael Goldsmith, Bill Roscoe, Ming Xiao |
| 2003 | FM | Watchdog Transformations for Property-Oriented Model-Checking. | Michael Goldsmith, Nick Moffat, Bill Roscoe, Tim Whitworth, Irfan Zakiuddin |
| 1999 | PDPTA | Challenges to Process-Algebraic Property-Checking. | Michael Goldsmith |
| 1998 | FM | Critical Systems Validation and Verification with CSP and FDR. | Michael Goldsmith, Irfan Zakiuddin |
| 1995 | TACAS | Hierarchical Compression for Model-Checking CSP or How to Check 10 | A. W. Roscoe, Paul H. B. Gardiner, Michael Goldsmith, J. R. Hulance, D. M. Jackson, J. Bryan Scattergood |
| 1987 | STACS | An Algebraic Transformation System for Occam Programs. | Michael Goldsmith, A. Cox, Geoff Barrett |