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

First Author: Aldoseri A
Attributed to:  CAP-TEE: Capability Architectures for Trusted Execution funded by ISCF

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://research.birmingham.ac.uk/en/publications/symbolic-modelling-of-remote-attestation-protocols-for-device-and

Type: Conference/Paper/Proceeding/Abstract