ORCID as entered in ROS
https://orcid.org/0000-0003-3444-9036
Scheduled Maintenance Notice
Please note that Researcher Profiles will be undergoing scheduled maintenance on Wednesday 7th Oct, from 8:00am to 9:00am. During this time, the Researcher Profiles system will be unavailable. We apologise for any inconvenience and appreciate your understanding.
Select Publications
Book Chapters
, 'Verified Protection Model of the seL4 Microkernel', in Lecture Notes in Computer Science, Springer Berlin Heidelberg, pp. 99 - 114, http://dx.doi.org/10.1007/978-3-540-87873-5_11
https://orcid.org/0000-0003-3444-9036