Analysis of trusted execution environment usage in Samsung KNOX ‌ Atamli-Reineh, A, Borgaonkar, R, Balisane, R, Petracca, G, Martin, A