Symbolic modelling of remote attestation protocols for device and app integrity on Android.
Abdulla AldoseriTom ChothiaJosé MoreiraDavid F. OswaldPublished in: AsiaCCS (2023)
Keyphrases
- remote attestation
- security protocols
- trusted computing
- mobile applications
- computing platform
- cloud computing
- virtual machine
- mobile apps
- android platform
- embedded systems
- mobile platforms
- rfid tags
- trusted platform module
- key management
- mobile devices
- smart phones
- fully functional
- grid systems
- distributed computing
- databases
- virtual organization