1. A grid of Java cards to deal with security demanding application domains;Atallah,2005
2. Bar-El H, Choukri H, Naccache D, Tunstall M, Whelan C. The Sorcerer's apprentice guide to fault attacks. In: Proceedings of workshop on fault detection and tolerance in cryptography. Italy; 2004.
3. A formal correspondence between offensive and defensive JavaCard virtual machines;Barthe,2002
4. Casset L, Burdy L, Requet A. Formal development of an embedded verifier for Java Card byte code. In: Proceedings of the IEEE international conference on dependable systems & networks. Washington, D.C., USA; 2002.
5. The mobile Java card grid project;Chaumette,2006