Research output per year
Research output per year
Personal profile
Research Interests
Automotive cybersecurity, specializing in over the air updates,
Fingerprint
Dive into the research topics where Rhys Kirk is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
External collaboration on country/territory level for the past five years. Dive into details by clicking on the dots or
-
A Formal Framework for Security Testing of Automotive Over-The-Air Update Systems
Kirk, R., Nguyen, H. N., Bryans, J., Shaikh, S. & Wartnaby, C., 2022, (In preparation) In: Journal of Logical and Algebraic Methods in Programming. 28 p.Research output: Contribution to journal › Article › peer-review
-
Formalising UPTANE in CSP for Security Testing
Kirk, R., Nguyen, H. N., Bryans, J., Shaikh, S., Evans, D. & Price, D., 1 Nov 2021, (Accepted/In press). 9 p.Research output: Contribution to conference › Paper › peer-review