Yossi Gilad, Amir Herzberg, Ari Trachtenberg: Securing Smartphones: A µTCB Approach. IEEE Pervasive Comput. 13(4): 72-79 (2014)