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

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

114 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Symbolic Modelling of Remote Attestation Protocols for Device and App Integrity on Android'. Together they form a unique fingerprint.

Engineering & Materials Science