Items where Author is "Yuan, Hu"

Journal Article

Farrell, Marie and Bradbury, Matthew and Cardoso, Rafael C. and Fisher, Michael and Dennis, Louise and Dixon, Clare and Sheik, Al Tariq and Yuan, Hu and Maple, Carsten (2024) Security-Minded Verification of Cooperative Awareness Messages. IEEE Transactions on Dependable and Secure Computing, 21 (4). pp. 4048-4065. ISSN 1545-5971

Contribution in Book/Report/Proceedings

Maple, Carsten and Bradbury, Matthew and Yuan, Hu and Farrell, Marie and Dixon, Clare and Fisher, Michael and Atmaca, Uger Ilker (2020) Security-Minded Verification of Space Systems. In: 2020 IEEE Aerospace Conference :. IEEE, Big Sky, Montana, USA. ISBN 9781728127354

Yuan, Hu and Bradbury, Matthew and Maple, Carsten and Gu, Chen (2019) Throughput Aware Authentication Prioritisation for Vehicular Communication Networks. In: 2019 IEEE 90th Vehicular Technology Conference (VTC2019-Fall) :. IEEE, pp. 1-5. ISBN 9781728112213

Farrell, Marie and Bradbury, Matthew and Fisher, Michael and Dennis, Louise A. and Dixon, Clare and Yuan, Hu and Maple, Carsten (2019) Using Threat Analysis Techniques to Guide Formal Verification : A Case Study of Cooperative Awareness Messages. In: Software Engineering and Formal Methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings. Lecture Notes in Computer Science . Springer International Publishing, Cham, pp. 471-490. ISBN 9783030304454

Monograph

Maple, Carsten and Bradbury, Matthew and Elsden, Miles and Cruickshank, Haitham and Yuan, Hu and Gu, Chen and Asuquo, Phillip (2019) IoT Transport and Mobility Demonstrator : Cyber Security Testing on National Infrastructure. Working Paper. UNSPECIFIED, Coventry, UK.