Doctor Robert Thorburn

Dr Robert Thorburn

Research Fellow in Hardware Security

Connect with Robert

Email: Robert.Thorburn@soton.ac.uk

ORCID

Publications

5 publications

Page 1 of 1

Developing safe exception recovery mechanisms for CHERI capability hardware using UML-B formal analysis

Colin Snook, Asieh Salehi Fathabadi, Son Hoang, Robert H Thorburn, Michael Butler, Leonardo Aniello & vladi Sassone, 2025

Type: conference

Designing exception handling using Event-B

Asieh Salehi Fathabadi, Colin Snook, Thai Son Hoang, Robert Thorburn, Michael Butler, Leonardo Aniello & Vladimiro Sassone, 2024

DOI: 10.1007/978-3-031-63790-2_22

Type: conference

Designing a better internet of things, privacy and compliance by design as SysML domain extension for consumer smart electronics

Robert Thorburn, 2022

Type: thesis

A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design

Robert Thorburn, Vladimiro Sassone, Asieh Salehi Fathabadi, Leonardo Aniello, Michael Butler, Dana Dghaym & Son Hoang, 2022

Type: conference

Connecting regulatory requirements to audit outcomes

Robert Thorburn, Federica Paci, Vladimiro Sassone & Sophie Stalla-Bourdillon, 2021

DOI: 10.1109/MODELS-C53483.2021.00100

Type: conference