Gadyatskaya, Olga and Massacci, Fabio and Nguyen, Quang-Huy and Chetali, Boutheina (2012) Load Time Code Validation for Mobile Phone Java Cards. Trento : Università di Trento. (Unpublished)