Hu Yuan

University of Warwick, Kingston University

Papers

Total Citations

H-Index

About

Dr. Hu Yuan is a researcher at the forefront of cybersecurity and formal verification for autonomous robotic systems, with a particular focus on cooperative vehicle safety. Her work bridges the critical gap between security and safety in intelligent transportation, demonstrating that a breach in system security can directly compromise physical safety. Dr. Yuan’s major contribution lies in pioneering a methodology that integrates threat analysis techniques with formal verification, as showcased in her highly cited 2019 paper, “Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages” (12 citations). This work provides a structured approach to model and verify that safety-critical systems obey functional and security properties simultaneously. Her subsequent 2023 paper, “Security-Minded Verification of Cooperative Awareness Messages” (5 citations), further refines this framework, addressing the unique challenges of autonomous systems where safety and security are inextricably linked. By developing tools that allow engineers to systematically identify vulnerabilities and formally prove system resilience, Dr. Yuan is shaping the next generation of secure, trustworthy autonomous vehicles. Her research is essential reading for anyone working at the intersection of formal methods, threat modeling, and cyber-physical systems.