Abdulla Aldoseri, Tom Chothia, José Moreira, David F. Oswald. Symbolic modelling of remote attestation protocols for device and app integrity on Android. In Joseph K. Liu, Yang Xiang 0001, Surya Nepal, Gene Tsudik, editors, Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security, ASIA CCS 2023, Melbourne, VIC, Australia, July 10-14, 2023. pages 218-231, ACM, 2023. [doi]
Abstract is missing.