High Performance Java Card Operating System. - Mohammad R. Eletriby; Mohammed Ali Sobh; Ayman M. Bahaa Eldin; Hossam M. A. Fahmy (SERE, 2014)