Symbolic modelling of remote attestation protocols for device and app integrity on Android-Reference-Cited by-同舟云学术

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

Published:2023-07-10 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the ACM Asia Conference on Computer and Communications Security
language:
Short-container-title:

Author:

Aldoseri Abdulla¹^ORCID,Chothia Tom²^ORCID,Moreira Jose³^ORCID,Oswald David²^ORCID

Affiliation:

1. School of Computer Science, University of Birmingham, UK and College of information technology, computer science department, Univerity oif Bahrain, Bahrain

2. School of Computer Science, University of Birmingham, UK

3. Valory AG, Switzerland

Funder

DsbDtech, Engineering and Physical Sciences Research Council (EPSRC)

University of Bahrain

TimeTrust project, UK?s National Cyber Security Centre (NCSC)

Publisher

ACM

Reference51 articles.

1. Mobile values, new names, and secure communication

2. Abdulla Aldoseri Tom Chothia José Moreira and David Oswald. 2023. Android Remote attestation models repository. https://github.com/Buhadod/AndroidRemoteAttestationModels Abdulla Aldoseri Tom Chothia José Moreira and David Oswald. 2023. Android Remote attestation models repository. https://github.com/Buhadod/AndroidRemoteAttestationModels

3. Android. 2019. About Dynamic Delivery. https://developer.android.com/studio/projects/dynamic-delivery (Accessed on 12/01/2019). Android. 2019. About Dynamic Delivery. https://developer.android.com/studio/projects/dynamic-delivery (Accessed on 12/01/2019).

4. Android. 2021. Application Signing | Android Open Source Project. https://source.android.com/security/apksigning (Accessed on 11/24/2021). Android. 2021. Application Signing | Android Open Source Project. https://source.android.com/security/apksigning (Accessed on 11/24/2021).

5. Android. 2021. Locking/Unlocking the Bootloader. https://source.android.com/devices/bootloader/locking_unlocking (Accessed on 11/25/2021). Android. 2021. Locking/Unlocking the Bootloader. https://source.android.com/devices/bootloader/locking_unlocking (Accessed on 11/25/2021).

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On the (In)Security of Manufacturer-Provided Remote Attestation Frameworks in Android;Lecture Notes in Computer Science;2024