Rhys Kirk

According to our database, Rhys Kirk authored at least 2 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

A formal framework for security testing of automotive over-the-air update systems.

Rhys Kirk, Hoang Nga Nguyen, Jeremy W. Bryans, Siraj Ahmed Shaikh, Charles Wartnaby

J. Log. Algebraic Methods Program., 2023

2021

Formalising UPTANE in CSP for Security Testing.

Rhys Kirk, Hoang Nga Nguyen, Jeremy W. Bryans, Siraj A. Shaikh, David Evans, David Price

Proceedings of the 21st IEEE International Conference on Software Quality, 2021