Verifying an infinite family of inductions simultaneously using data independence and FDR. - S. J. Creese; A. W. Roscoe 001 (FORTE, 1999)

Verifying End-to-End Protocols using Induction with CSP/FDR. - S. J. Creese; Joy N. Reed (IPPS/SPDP Workshops, 1999)

Formal Verification of Arbitrary Network Topologies. - S. J. Creese; A. W. Roscoe 001 (PDPTA, 1999)

Data Independent Induction over Structured Networks. - S. J. Creese; A. W. Roscoe 001 (PDPTA, 2000)

Data independent induction : CSP model checking or arbitary sized networks. - S. J. Creese (2001)

Authentication for Pervasive Computing. - Sadie Creese; Michael Goldsmith; Bill Roscoe; Irfan Zakiuddin (SPC, 2003)

Industrial Strength CSP: Opportunities and Challenges in Model-Checking. - Sadie Creese (25 Years Communicating Sequential Processes, 2004)

Exploiting Empirical Engagement in Authentication Protocol Design. - Sadie Creese; Michael Goldsmith; Richard Harrison; Bill Roscoe; Paul Whittaker; Irfan Zakiuddin (SPC, 2005)

Bootstrapping multi-party ad-hoc security. - Sadie Creese; Michael Goldsmith; Bill Roscoe; Ming Xiao (SAC, 2006)

Requirements and Concepts for Information Assurance and Pervasive Adaptation Co-design. - Sadie Creese; Michael Goldsmith (SASO Workshops, 2008)

Data Protection-Aware Design for Cloud Services. - Sadie Creese; Paul Hopkins; Siani Pearson; Yun Shen (CloudCom, 2009)

Reaching for Informed Revocation: Shutting Off the Tap on Personal Data. - Ioannis Agrafiotis; Sadie Creese; Michael Goldsmith; Nick Papanikolaou 001 (PrimeLife, 2009)

Can Cognitive Science Help Us Make Online Risk More Tangible?. - Sadie Creese; Koen Lamberts (IEEE Intell. Syst., 2009)

Inadequacies of Current Risk Controls for the Cloud. - M. Auty; Sadie Creese; Michael Goldsmith; Paul Hopkins (CloudCom, 2010)

A Modelling Approach for Interdependency in Digital Systems-of-Systems Security - Extended Abstract. - Adedayo Adetoye; Sadie Creese; Michael Goldsmith; Paul Hopkins (CRITIS, 2010)

Applying Formal Methods to Detect and Resolve Ambiguities in Privacy Requirements. - Ioannis Agrafiotis; Sadie Creese; Michael Goldsmith; Nick Papanikolaou 001 (PrimeLife, 2010)

A Conceptual Model for Privacy Policies with Consent and Revocation Requirements. - Marco Casassa Mont; Siani Pearson; Sadie Creese; Michael Goldsmith; Nick Papanikolaou 001 (PrimeLife, 2010)

EnCoRe: Towards a Holistic Approach to Privacy. - Nick Papanikolaou 001; Sadie Creese; Michael Goldsmith; Marco Casassa Mont; Siani Pearson (SECRYPT, 2010)

Refinement-Friendly Bigraphs and Spygraphs. - Michael Goldsmith; Sadie Creese (SEFM, 2010)

Biodiversity: A security approach for ad hoc networks. - Jennifer T. Jackson; Sadie Creese; Mark S. Leeson (CICS, 2011)

Analysis of Dependencies in Critical Infrastructures. - Adedayo Oyelakin Adetoye; Michael Goldsmith; Sadie Creese (CRITIS, 2011)

A logical high-level framework for Critical Infrastructure resilience and risk assessment. - Sadie Creese; Michael Goldsmith; Adedayo Adetoye (CSS, 2011)

Guidelines for usable cybersecurity: Past and present. - Jason R. C. Nurse; Sadie Creese; Michael Goldsmith; Koen Lamberts (CSS, 2011)

Developing a Strategy for Automated Privacy Testing Suites. - Ioannis Agrafiotis; Sadie Creese; Michael Goldsmith (PrimeLife, 2011)

Formalising Requirements for a Biobank Case Study Using a Logic for Consent and Revocation. - Ioannis Agrafiotis; Sadie Creese; Michael Goldsmith (PrimeLife, 2011)

Trustworthy and effective communication of cybersecurity risks: A review. - Jason R. C. Nurse; Sadie Creese; Michael Goldsmith; Koen Lamberts (STAST, 2011)

Accepting Information with a Pinch of Salt: Handling Untrusted Information Sources. - Syed Sadiqur Rahman; Sadie Creese; Michael Goldsmith (STM, 2011)

Reasoning about Vulnerabilities in Dependent Information Infrastructures: A Cyber Range Experiment. - Adedayo Oyelakin Adetoye; Sadie Creese; Michael Goldsmith (CRITIS, 2012)

A Model for Identity in the Cyber and Natural Universes. - Duncan Hodges; Sadie Creese; Michael Goldsmith (EISIC, 2012)

An initial usability evaluation of the secure situation awareness system. - Jason R. C. Nurse; Sadie Creese; Michael Goldsmith; Rachel Craddock; Glyn Jones (ISCRAM, 2012)

Using Information Trustworthiness Advice in Decision Making. - Jason R. C. Nurse; Sadie Creese; Michael Goldsmith; Koen Lamberts (STAST, 2012)

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 (TrustCom, 2012)

Insider Attacks in Cloud Computing. - Adrian J. Duncan; Sadie Creese; Michael Goldsmith (TrustCom, 2012)

Refinement checking for privacy policies. - Nikolaos Papanikolaou 001; Sadie Creese; Michael Goldsmith (Sci. Comput. Program., 2012)

Virus Propagation in Heterogeneous Bluetooth Networks with Human Behaviors. - Jennifer T. Jackson; Sadie Creese (IEEE Trans. Dependable Secur. Comput., 2012)

Breaking the Arc: Risk control for Big Data. - Duncan Hodges; Sadie Creese (IEEE BigData, 2013)

Relationships between Password Choices, Perceptions of Risk and Security Expertise. - Sadie Creese; Duncan Hodges; Sue Jamison-Powell; Monica T. Whitty (HCI (27), 2013)

Supporting Human Decision-Making Online Using Information-Trustworthiness Metrics. - Jason R. C. Nurse; Sadie Creese; Michael Goldsmith; Syed Sadiqur Rahman (HCI (27), 2013)

Building a better intelligence machine: A new approach to capability review and development. - Duncan Hodges; Sadie Creese (ISI, 2013)

Communicating trustworthiness using radar graphs: A detailed look. - Jason R. C. Nurse; Ioannis Agrafiotis; Sadie Creese; Michael Goldsmith; Koen Lamberts (PST, 2013)

NetVis: a Visualization Tool Enabling Multiple Perspectives of Network Traffic Data. - James Nicholls; Dominik Peters; Albert Slawinski; Thomas Spoor; Sergiu Vicol; Jassim Happa; Michael Goldsmith; Sadie Creese (TPCG, 2013)

Cloud Computing: Insider Attacks on Virtual Machines during Migration. - Adrian J. Duncan; Sadie Creese; Michael Goldsmith; Jamie S. Quinton (TrustCom/ISPA/IUCC, 2013)

Building Confidence in Information-Trustworthiness Metrics for Decision Support. - Jason R. C. Nurse; Ioannis Agrafiotis; Sadie Creese; Michael Goldsmith; Koen Lamberts (TrustCom/ISPA/IUCC, 2013)

Towards a Conceptual Model and Reasoning Structure for Insider Threat Detection. - Philip A. Legg; Nick Moffat; Jason R. C. Nurse; Jassim Happa; Ioannis Agrafiotis; Michael Goldsmith; Sadie Creese (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2013)

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 (HCI (24), 2014)

Image Choice to Represent the Self in Different Online Environments. - Monica T. Whitty; James Doodson; Sadie Creese; Duncan Hodges (HCI (22), 2014)

Inferring social relationships from technology-level device connections. - Jason R. C. Nurse; Jess Pumphrey; Thomas Gibson-Robinson; Michael Goldsmith; Sadie Creese (PST, 2014)

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 (IEEE Symposium on Security and Privacy Workshops, 2014)

Reflecting on the Ability of Enterprise Security Policy to Address Accidental Insider Threat. - Oliver Buckley; Jason R. C. Nurse; Philip A. Legg; Michael Goldsmith; Sadie Creese (STAST, 2014)

Towards a User and Role-based Sequential Behavioural Analysis Tool for Insider Threat Detection. - Ioannis Agrafiotis; Philip A. Legg; Michael Goldsmith; Sadie Creese (J. Internet Serv. Inf. Secur., 2014)

Visual Analytics of E-mail Sociolinguistics for User Behavioural Analysis. - Philip A. Legg; Oliver Buckley; Michael Goldsmith; Sadie Creese (J. Internet Serv. Inf. Secur., 2014)

Pathways to identity: using visualization to aid law enforcement in identification tasks. - Joseph Bruce; Jean Scholtz; Duncan Hodges; Lia R. Emanuel; Danaë Stanton Fraser; Sadie Creese; Oriana Love (Secur. Informatics, 2014)

Technology and Information Trust for Supporting Risky Decisions Based on Social-Media Content. - Jason R. C. Nurse; Michael Goldsmith; Sadie Creese; Koen Lamberts (CIT/IUCC/DASC/PICom, 2015)

Applying Semantic Technologies to Fight Online Banking Fraud. - Rodrigo Carvalho 001; Michael Goldsmith; Sadie Creese (EISIC, 2015)

Predicting Graphical Passwords. - Matthieu Devlin; Jason R. C. Nurse; Duncan Hodges; Michael Goldsmith; Sadie Creese (HCI (22), 2015)

Smart Insiders: Exploring the Threat from Insiders Using the Internet-of-Things. - Jason R. C. Nurse; Arnau Erola; Ioannis Agrafiotis; Michael Goldsmith; Sadie Creese (SIoT, 2015)

Individual Differences in Cyber Security Behaviors: An Examination of Who Is Sharing Passwords. - Monica T. Whitty; James Doodson; Sadie Creese; Duncan Hodges (Cyberpsychology Behav. Soc. Netw., 2015)

An overview of insider attacks in cloud computing. - Adrian J. Duncan; Sadie Creese; Michael Goldsmith (Concurr. Comput. Pract. Exp., 2015)

Investigating the leakage of sensitive personal and organisational information in email headers. - Jason R. C. Nurse; Arnau Erola; Michael Goldsmith; Sadie Creese (J. Internet Serv. Inf. Secur., 2015)

The Perfect Storm: The Privacy Paradox and the Internet-of-Things. - Meredydd Williams; Jason R. C. Nurse; Sadie Creese (ARES, 2016)

A Tripwire Grammar for Insider Threat Detection. - Ioannis Agrafiotis; Arnau Erola; Michael Goldsmith; Sadie Creese (MIST@CCS, 2016)

A Pragmatic System-failure Assessment and Response Model. - Jassim Happa; Graham Fairclough; Jason R. C. Nurse; Ioannis Agrafiotis; Michael Goldsmith; Sadie Creese (ICISSP, 2016)

Privacy Salience: Taxonomies and Research Opportunities. - Meredydd Williams; Jason R. C. Nurse; Sadie Creese (Privacy and Identity Management, 2016)

Future scenarios and challenges for security and privacy. - Meredydd Williams; Louise Axon; Jason R. C. Nurse; Sadie Creese (RTSI, 2016)

Validating an Insider Threat Detection System: A Real Scenario Perspective. - Ioannis Agrafiotis; Arnau Erola; Jassim Happa; Michael Goldsmith; Sadie Creese (IEEE Symposium on Security and Privacy Workshops, 2016)

Analytics for characterising and measuring the naturalness of online personae. - Jason R. C. Nurse; Arnau Erola; Thomas Gibson-Robinson; Michael Goldsmith; Sadie Creese (Secur. Informatics, 2016)

RicherPicture: Semi-automated cyber defence using context-aware data analytics. - Arnau Erola; Ioannis Agrafiotis; Jassim Happa; Michael Goldsmith; Sadie Creese; Philip A. Legg (CyberSA, 2017)

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 (HCI (22), 2017)

Privacy is the Boring Bit: User Perceptions and Behaviour in the Internet-of-Things. - Meredydd Williams; Jason R. C. Nurse; Sadie Creese (PST, 2017)

Security Risk Assessment in Internet of Things Systems. - Jason R. C. Nurse; Sadie Creese; David De Roure (IT Prof., 2017)

Mapping the coverage of security controls in cyber insurance proposal forms. - Daniel W. Woods; Ioannis Agrafiotis; Jason R. C. Nurse; Sadie Creese (J. Internet Serv. Appl., 2017)

Formalising Policies for Insider-threat Detection: A Tripwire Grammar. - Ioannis Agrafiotis; Arnau Erola; Michael Goldsmith; Sadie Creese (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2017)

Automated Insider Threat Detection System Using User and Role-Based Profile Assessment. - Philip A. Legg; Oliver Buckley; Michael Goldsmith; Sadie Creese (IEEE Syst. J., 2017)

Run-Time Monitoring of Data-Handling Violations. - Jassim Happa; Nick Moffat; Michael Goldsmith; Sadie Creese (CyberICPS/SECPRE@ESORICS, 2018)

A State Machine System for Insider Threat Detection. - Haozhe Zhang; Ioannis Agrafiotis; Arnau Erola; Sadie Creese; Michael Goldsmith (GraMSec@FLoC, 2018)

Chapter Eight - Privacy Requirements in Cybersecurity Applications of Blockchain. - Louise Axon; Michael Goldsmith; Sadie Creese (Adv. Comput., 2018)

If you can't understand it, you can't properly assess it! The reality of assessing security risks in Internet of Things systems. - Jason R. C. Nurse; Petar Radanliev; Sadie Creese; David De Roure (CoRR, 2018)

Sonification in security operations centres: what do security practitioners think? - Louise M. Axon; Bushra A. AlAhmadi; Jason R. C. Nurse; Michael Goldsmith; Sadie Creese (CoRR, 2018)

A Storm in an IoT Cup: The Emergence of Cyber-Physical Social Machines. - Aastha Madaan; Jason R. C. Nurse; David De Roure; Kieron O'Hara; Wendy Hall 001; Sadie Creese (CoRR, 2018)

A taxonomy of cyber-harms: Defining the impacts of cyber-attacks and understanding how they propagate. - Ioannis Agrafiotis; Jason R. C. Nurse; Michael Goldsmith; Sadie Creese; David Upton (J. Cybersecur., 2018)

Modeling Advanced Persistent Threats to enhance anomaly detection techniques. - Cheyenne Atapour; Ioannis Agrafiotis; Sadie Creese (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2018)

Analysing cyber-insurance claims to design harm-propagation trees. - Louise Axon; Arnau Erola; Ioannis Agrafiotis; Michael Goldsmith; Sadie Creese (CyberSA, 2019)

A Combined Attack-Tree and Kill-Chain Approach to Designing Attack-Detection Strategies for Malicious Insiders in Cloud Computing. - Adrian J. Duncan; Sadie Creese; Michael Goldsmith (Cyber Security, 2019)

Why We Trust Dynamic Consent to Deliver on Privacy. - Arianna Schuler Scott; Michael Goldsmith; Harriet Teare; Helena Webb; Sadie Creese (IFIPTM, 2019)

Anomaly Detection Using Pattern-of-Life Visual Metaphors. - Jassim Happa; Thomas Bashford-Rogers; Ioannis Agrafiotis; Michael Goldsmith; Sadie Creese (IEEE Access, 2019)

Smartwatch games: Encouraging privacy-protective behaviour in a longitudinal study. - Meredydd Williams; Jason R. C. Nurse; Sadie Creese (Comput. Hum. Behav., 2019)

Hearing attacks in network data: An effectiveness study. - Louise Axon; Jassim Happa; Michael Goldsmith; Sadie Creese (Comput. Secur., 2019)

Investigating Malware Campaigns With Semantic Technologies. - Rodrigo Carvalho 001; Michael Goldsmith; Sadie Creese (IEEE Secur. Priv., 2019)

(Smart)Watch Out! encouraging privacy-protective behavior through interactive games. - Meredydd Williams; Jason R. C. Nurse; Sadie Creese (Int. J. Hum. Comput. Stud., 2019)

The Data that Drives Cyber Insurance: A Study into the Underwriting and Claims Processes. - Jason R. C. Nurse; Louise Axon; Arnau Erola; Ioannis Agrafiotis; Michael Goldsmith; Sadie Creese (CyberSA, 2020)

Capturing Tacit Knowledge in Security Operation Centers. - Selina Y. Cho; Jassim Happa; Sadie Creese (IEEE Access, 2020)

Cybersecurity in Pacific Island nations. - Carsten Rudolph; Sadie Creese; Sameer Sharma (Commun. ACM, 2020)

Data presentation in security operations centres: exploring the potential for sonification to enhance existing practice. - Louise Axon; Bushra A. AlAhmadi; Jason R. C. Nurse; Michael Goldsmith; Sadie Creese (J. Cybersecur., 2020)

Practitioners' Views on Cybersecurity Control Adoption and Effectiveness. - Louise Axon; Arnau Erola; Alastair Janse van Rensburg; Jason R. C. Nurse; Michael Goldsmith; Sadie Creese (ARES, 2021)

Control Effectiveness: a Capture-the-Flag Study. - Arnau Erola; Louise Axon; Alastair Janse van Rensburg; Ioannis Agrafiotis; Michael Goldsmith; Sadie Creese (ARES, 2021)

Cyber Crossroads: A Global Research Collaborative on Cyber Risk Governance. - Gregory Falco; Paul Cornish; Sadie Creese; Madeline Carr; Myriam Dunn Cavelty; Claudia Eckert 001; Herbert Lin; Gen Goto; Jamie Saunders; Andrew Grotto; Howard E. Shrobe; Sean Kanuck; et al. (CoRR, 2021)

Assessing a Decision Support Tool for SOC Analysts. - Jassim Happa; Ioannis Agrafiotis; Martin Helmhout; Thomas Bashford-Rogers; Michael Goldsmith; Sadie Creese (DTRAP, 2021)

Deception in Network Defences Using Unpredictability. - Jassim Happa; Thomas Bashford-Rogers; Alastair Janse van Rensburg; Michael Goldsmith; Sadie Creese (DTRAP, 2021)

The social and cultural shaping of cybersecurity capacity building: a comparative study of nations and regions. - Sadie Creese; William H. Dutton; Patricia Esteve-González (Pers. Ubiquitous Comput., 2021)

The current state of research on people, culture and cybersecurity. - Jongkil Jay Jeong; Gillian C. Oliver; Eunsuk Kang; Sadie Creese; Peter Thomas (Pers. Ubiquitous Comput., 2021)

Sonification to Support the Monitoring Tasks of Security Operations Centres. - Louise Axon; Jassim Happa; Alastair Janse van Rensburg; Michael Goldsmith; Sadie Creese (IEEE Trans. Dependable Secur. Comput., 2021)

A system to calculate Cyber Value-at-Risk. - Arnau Erola; Ioannis Agrafiotis; Jason R. C. Nurse; Louise Axon; Michael Goldsmith; Sadie Creese (Comput. Secur., 2022)

Cybersecurity education, awareness raising, and training initiatives: National level evidence-based results, challenges, and promise. - Ruth Shillair; Patricia Esteve-González; William H. Dutton; Sadie Creese; Eva Nagyfejeo; Basie von Solms (Comput. Secur., 2022)

Emerging Cybersecurity Capability Gaps in the Industrial Internet of Things: Overview and Research Agenda. - Louise Axon; Katherine Fletcher; Arianna Schuler Scott; Marcel Stolz; Robert Hannigan; Ali El Kaafarani; Michael Goldsmith; Sadie Creese (DTRAP, 2022)

Insider-threat detection: Lessons from deploying the CITD tool in three multinational organisations. - Arnau Erola; Ioannis Agrafiotis; Michael Goldsmith; Sadie Creese (J. Inf. Secur. Appl., 2022)

Securing Autonomous Air Traffic Management: Blockchain Networks Driven by Explainable AI. - Louise Axon; Dimitrios Panagiotakopoulos; Samuel Ayo; Carolina Sanchez-Hernandez; Yan Zong; Simon Brown; Lei Zhang 035; Michael Goldsmith; Sadie Creese; Weisi Guo (CoRR, 2023)

Ransomware as a Predator: Modelling the Systemic Risk to Prey. - Louise Axon; Arnau Erola; Ioannis Agrafiotis; Ganbayar Uuganbayar; Michael Goldsmith; Sadie Creese (DTRAP, 2023)

Position Paper: Leveraging Large Language Models for Cybersecurity Compliance. - Ahmed Salman; Sadie Creese; Michael Goldsmith (EuroS&P Workshops, 2024)

Work in Progress: Leveraging Large Language Models for Cybersecurity Compliance: A Pilot Study in ISO 27001 Audit Planning. - Ahmed Salman; Yara Alsiyat; Sadie Creese; Michael Goldsmith (EuroS&P (Workshops), 2025)

Enhancing maritime cyber situational awareness: A cybersecurity visualisation for non-experts. - Dominic Too; Louise Axon; Ioannis Agrafiotis; Michael Goldsmith; Sadie Creese (Comput. Secur., 2025)

Beyond Security-by-design: Securing a compromised system. - Awais Rashid; Sana Belguith; Matthew Bradbury; Sadie Creese; Ivan Flechais; Neeraj Suri (CoRR, 2025)