1. Barbu, G.: Fault attacks on a java card 3.0 virtual machine
2. Lecture Notes in Computer Science;G. Barthe,2007
3. Chaumette, S., Hatchondo, I., Sauveron, D.: Jcat: An environment for attack and test on java card&trade. In: Proceedings of CCCT 2003 and 9th ISAS 2003, vol. 1, pp. 270–275 (2003)
4. Dragoni, N., Massacci, F., Schaefer, C., Walter, T., Vétillard, E.: A security-by-contracts architecture for pervasive services. In: Proceedings of 3rd Int’l Workshop on Security, Privacy and Trust in Ubiquitous Computing (SecPerU 2007). IEEE Press, Los Alamitos (2007)
5. ITSEC Joint Interpretation Library (JIL). Version 2.7. Application of Attack Potential to Smartcards (February 2009)