Pierre Bieber Jacques Cazin Pierre Girard Jean-Louis Lanet Virginie Wiels Guy Zanon Checking Secure Interactions of Smart Card Applets: Extended Version. 369-398 2002 10 Journal of Computer Security 4 db/journals/jcs/jcs10.html#BieberCGLWZ02