Symbolic Modelling of Remote Attestation Protocols for Device and App Integrity on Android

Abdulla Aldoseri, Tom Chothia, Jose Moreira-Sanchez, David Oswald

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

114 Downloads (Pure)

2 results

Active
CAP-TEE: Capability Architectures in Trusted Execution
Ryan, M., Thomas, R., Ordean, M., Garcia, F., Oswald, D., Muench, M. & Sinha Roy, S.
Engineering & Physical Science Research Council
12/08/20 → 30/11/24
Project: Research Councils
User-controlled hardware security anchors: evaluation and designs
Garcia, F., Oswald, D. & Ryan, M.
Hewlett-Packard Incorporated Uk Ltd, Engineering & Physical Science Research Council
1/02/18 → 31/07/24
Project: Research