Rhys Kirk

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 2

Top Topics

Constraint Programming

Solving Constraint Satisfaction Problems

Information Security

Security Systems

Top Venues

J. Log. Algebraic Methods Program.

Publications

Rhys Kirk, Hoang Nga Nguyen, Jeremy W. Bryans, Siraj Ahmed Shaikh, Charles Wartnaby
A formal framework for security testing of automotive over-the-air update systems. J. Log. Algebraic Methods Program. 130 (2023)
Rhys Kirk, Hoang Nga Nguyen, Jeremy W. Bryans, Siraj A. Shaikh, David Evans, David Price
Formalising UPTANE in CSP for Security Testing. QRS Companion (2021)