UNSW Research Web and Researcher Profiles are undergoing scheduled maintenance between 9:00 am on 9th October 2024 and 5:00 pm on 9th October 2024.
Content changes made during this period will be lost. This maintenance does not impact InfoEd or other applications.

Select Publications

Other

Pinisetty S; Allen N; Pearce H; Trew M; Singh Gaur M; Roop P, 2022, Formal Methods for the Security of Medical Devices1, Wiley, http://dx.doi.org/10.1002/9781119743187.ch3


Back to profile page