Matthew Bradbury

University of Warwick, Lancaster University

Papers

Total Citations

H-Index

About

Dr. Matthew Bradbury is a leading researcher at the intersection of cybersecurity, formal verification, and autonomous robotic systems. His work addresses a critical challenge: ensuring that safety-critical autonomous systems remain secure against cyber threats, where a security breach can directly compromise physical safety. Dr. Bradbury’s major contributions center on integrating threat analysis techniques with formal verification—a novel approach that bridges the gap between security modeling and rigorous system proof. His most cited work, "Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages" (2019, 12 citations), demonstrates how threat models can direct formal verification efforts, making the process more efficient and security-focused. Building on this, his 2023 paper "Security-Minded Verification of Cooperative Awareness Messages" (5 citations) further refines this methodology for vehicle-to-everything communication. By combining these disciplines, Dr. Bradbury provides a practical framework for building resilient autonomous systems, influencing both academic research and real-world safety standards. His work is essential reading for anyone developing or verifying security-critical robotic systems.