Symbolic modelling of remote attestation protocols for device and app integrity on Android.

Abdulla Aldoseri, Tom Chothia, Jos Moreira, David F. Oswald

Browse the full AsiaCCS paper archive.