Formalising UPTANE in CSP for Security Testing. - Rhys Kirk; Hoang Nga Nguyen; Jeremy W. Bryans; Siraj A. Shaikh; David Evans; David Price (QRS Companion, 2021)

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)