Leveraging ARM TrustZone and Verifiable Computing to Provide Auditable Mobile Functions
2018 (English)In: Proceedings Of TheĀ 15Th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and ServicesĀ (MOBIQUITOUS 2018), Association for Computing Machinery (ACM), 2018, p. 302-311Conference paper, Published paper (Refereed)
Abstract [en]
The increase of personal data on mobile devices has been followed by legislation that forces service providers to process and maintain users' data under strict data protection policies. In this paper, we propose a new primitive for mobile applications called auditable mobile function (AMF) to help service providers enforcing such policies by enabling them to process sensitive data within users' devices and collecting proofs of function execution integrity. We present SafeChecker, a computation verification system that provides mobile application support for AMFs, and evaluate the practicality of different usage scenario AMFs on TrustZone-enabled hardware.
Place, publisher, year, edition, pages
Association for Computing Machinery (ACM), 2018. p. 302-311
Series
ACM International Conference Proceeding Series
Keywords [en]
Verifiable computing, Trusted computing, Data protection regulations, Auditable mobile functions
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:kth:diva-243009DOI: 10.1145/3286978.3287015ISI: 000455808300032Scopus ID: 2-s2.0-85060018187ISBN: 9781450360937 (print)OAI: oai:DiVA.org:kth-243009DiVA, id: diva2:1285366
Conference
15th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, Mobiquitous 2018, New York, United States, 5 November 2018 through 7 November 2018
Note
QC 20190204
2019-02-042019-02-042022-06-26Bibliographically approved