Leveraging ARM TrustZone and Verifiable Computing to Provide Auditable Mobile Functions
Nuno O. Duarte, Sileshi Demesie Yalew, Nuno M. Santos, Miguel Pupo Correia · 2018
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.